JeroenDeDauw added a comment. And of course we ought to get to having one extension per repo like all other extensions at some point...
TASK DETAIL https://phabricator.wikimedia.org/T100813 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: JeroenDeDauw Cc: JeroenDeDauw, aude, hoo, Aklapper, JanZerebecki, Wikidata-bugs _______________________________________________ Wikidata-bugs mailing list Wikidata-bugs@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
