JanZerebecki added a comment. The repo discussed in this task is what was moved from gerrit to https://github.com/wmde/DataTypes.git . What I meant is that if this is an extension and not a library (that knows nothing of mediawiki) it needs to move back to gerrit. I.e. the reverse of what this task set out to finish.
TASK DETAIL https://phabricator.wikimedia.org/T108457 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: JanZerebecki Cc: JanZerebecki, Ricordisamoa, QChris, gerritbot, Addshore, JeroenDeDauw, Aklapper, Wikidata-bugs, aude, Malyacko _______________________________________________ Wikidata-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
