[gerrit] host=gerrit.wikimedia.org port=29418 project=mediawiki/core.git defaultbranch=REL1_20 defaultrebase=0