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

Add .gitreview

Browse source 
Change-Id: I0c6dccdc4535fe3583b7fc3abe1798d2bb881bc1
This commit is contained in:
MarcoAurelio 2019-10-09 21:17:10 +00:00
parent b8378471d5
commit 7c0abd30c9
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
.gitreview Normal file
View file

@ -0,0 +1,7 @@
[gerrit]
host=gerrit.wikimedia.org
port=29418
project=mediawiki/extensions/DiscussionTools.git
defaultbranch=master
defaultrebase=0
track=1