[gerrit] host=gerrit.wikimedia.org port=29418 project=mediawiki/extensions/Collection.git defaultbranch=master