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