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
https://phabricator.wikimedia.org/T127292

EMAIL PREFERENCES
https://phabricator.wikimedia.org/settings/panel/emailpreferences/

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
_______________________________________________
Wikidata-bugs mailing list
Wikidata-bugs@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs

Reply via email to