JanZerebecki added a comment. We had a discussion about this:
Decision: - We will gradually move our repositories to gerrit. - We will start with WikimediaBadges and Wikidata.org - We are OK with loosing the feature of coverage before merge, but want to implement it in Wikimedia CI afterwards. TODOs: - Acquire necessary rights for github orgs, travis, scrutinizer and possibly gerrit, to be able to do the move. - Move repo to wikimedia org. - Create repository on gerrit. - Push from old to new repository. - Make sure mirroring works. - Ensure travis, scrutinizer and packagist hooks from github mirror works. - Setup irc notification from gerrit. - Setup Wikimedia CI for new repos. TASK DETAIL https://phabricator.wikimedia.org/T74907 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: JanZerebecki Cc: Addshore, Liuxinyu970226, Ricordisamoa, chasemp, mmodell, Abraham, Aklapper, thiemowmde, Qgil, Snaterlicious, daniel, adrianheine, Tobi_WMDE_SW, GPHemsley, Legoktm, JeroenDeDauw, JanZerebecki, aude, Glaisher, MZMcBride, Lydia_Pintscher, Dereckson, hoo, Wikidata-bugs, greg _______________________________________________ Wikidata-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
