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