wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-11-27 17:10:25 +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: Id4966a1853673a6c7dae46f4e9f43772d8aa9e6e
This commit is contained in:
Chad Horohoe 2016-10-24 16:38:14 -07:00
parent 3c941b970a
commit fff05cf27e
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,4 +2,4 @@
host=gerrit.wikimedia.org
port=29418
project=mediawiki/extensions/RSS.git
defaultbranch=master
trace=1