QChris added a subscriber: demon. QChris added a comment. In https://phabricator.wikimedia.org/T108457#1570964, @hashar wrote:
> The extension is no more in CI, so you can now remove it from Gerrit. @hashar: Thanks. I removed the repo from gerrit. @demon: Could you please take care of nuking `mediawiki/extensions/DataTypes` from github, gitblit, and phabricator? TASK DETAIL https://phabricator.wikimedia.org/T108457 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: QChris Cc: demon, hashar, 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
