Merge branch 'stable-3.13' * stable-3.13: Skip plugins with malformed JSON metadata Change-Id: Iff90945c5c18d2cf01be49558d021511cbf9538b
Gerrit web-based plugin manager.
To enable this plugin, please look at the configuration guide