wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-23 15:57:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

Swapping defaultbranch for trace

Browse source 
The former is a maintenance nightmare when branching.

Bug:T146293
Change-Id: Ifc6f4494e298de39af87812daee1cc1fdd113948
This commit is contained in:
Chad Horohoe 2016-10-24 16:38:47 -07:00
parent b85e8ebba9
commit e212c3264c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.gitreview
View file

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