hashar added a comment. |
On behalf of @Ladsgroup , I have created https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/DataTypes owned by group wikidata.
I have mirrored the repo to Gerrit with:
git clone --mirror https://github.com/wmde/DataTypes/ cd DataTypes git remote add gerrit ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/DataTypes git push --mirror gerrit
So you would still have all the GitHub refs/pull/* references used for pull requests and all the tags :]
TASK DETAIL
EMAIL PREFERENCES
To: Ladsgroup, hashar
Cc: hashar, WMDE-leszek, Legoktm, Addshore, Ricordisamoa, Krenair, aude, JanZerebecki, Aklapper, Lydia_Pintscher, GoranSMilovanovic, QZanden, Framawiki, Izno, Luke081515, Wikidata-bugs, jayvdb, Paladox, Mbch331, Jay8g, QChris, greg
Cc: hashar, WMDE-leszek, Legoktm, Addshore, Ricordisamoa, Krenair, aude, JanZerebecki, Aklapper, Lydia_Pintscher, GoranSMilovanovic, QZanden, Framawiki, Izno, Luke081515, Wikidata-bugs, jayvdb, Paladox, Mbch331, Jay8g, QChris, greg
_______________________________________________ Wikidata-bugs mailing list Wikidata-bugs@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs