Swapping defaultbranch for trace

The former is a maintenance nightmare when branching.

Bug:T146293
This commit is contained in:
Chad Horohoe 2016-10-24 16:37:47 -07:00
parent c33361e980
commit 0d80ef838e

View file

@ -2,5 +2,5 @@
host=gerrit.wikimedia.org
port=29418
project=mediawiki/extensions/Linter.git
defaultbranch=master
trace=1
defaultrebase=0