mpopov added a comment. They do not. Wikimedia repos on GitHub are simple mirrors of Gerrit. To the point where the version on GitHub says that OliverKeyes committed to it but there's no such user. The patch needs to be submitted to Gerrit.
TASK DETAIL https://phabricator.wikimedia.org/T111790 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: He7d3r, mpopov Cc: Deskana, Ironholds, mpopov, Smalyshev, He7d3r, Aklapper, jkroll, Wikidata-bugs, Jdouglas, aude, Manybubbles, JanZerebecki, 01tonythomas _______________________________________________ Wikidata-bugs mailing list Wikidata-bugs@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
