Merge branch 'Wikidata', remote-tracking branch 'origin/Wikidata' into Wikidata
[mediawiki.git] / .gitreview
blob7e1473a6a9255a2b7f41dc0945948bb179459184
1 [gerrit]
2 host=gerrit.wikimedia.org
3 port=29418
4 project=mediawiki/core.git
5 defaultbranch=Wikidata