[gerrit] host=gerrit.wikimedia.org port=29418 project=mediawiki/extensions/Gadgets.git trace=1