|WMDE-leszek added a comment.|
Thanks for ping @Addshore. I have no strong opinion here. Some rambling below.
Description mentions there are no strong arguments against the move. I wonder what would a win after such move?
I understand it might make sense from WMF point of view as "all things in one place" (but then it should probably rather be moved to Diffusion than to Gerrit, right?). But this library is not installed from github any way, but it is part of mediawiki vendor, so I guess the location of the "main" git repo does not make much of a difference?
This library is used by several tools except Wikibase. For these it might be preferred to keep on Github? But I am not convinced either, for such tools it is probably only important that composer/packagist picks it up and installs it. After move to Gerrit/Differential, I guess we would have a github repo as a mirror for packagist, or would packagist be happy with gerrit/differential repo as well?
In any case, we would probably keep the github repo any way (as a mirror or so) for better visibility of the lib (also referring the recent discussion at the developer summit etc).
Cc: WMDE-leszek, demon, Jonas, hoo, Dereckson, Lydia_Pintscher, MZMcBride, aude, JanZerebecki, JeroenDeDauw, Legoktm, GPHemsley, Tobi_WMDE_SW, adrianheine, daniel, thiemowmde, Aklapper, mmodell, chasemp, Ricordisamoa, Liuxinyu970226, Addshore, Bene, Lazowik, Tpt, Krenair, Lahi, Gq86, GoranSMilovanovic, QZanden, LawExplorer, Luke081515, Wikidata-bugs, jayvdb, Paladox, Mbch331, Jay8g, QChris, greg
_______________________________________________ Wikidata-bugs mailing list Wikidatafirstname.lastname@example.org https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs