adrianheine added a comment. In https://phabricator.wikimedia.org/T63601#1125148, @hashar wrote:
> @adrianheine should we delete in Gerrit the mediawiki/extensions/DataTypes > repository ? Yeah, we should. It doesn't even mirror the current HEAD. TASK DETAIL https://phabricator.wikimedia.org/T63601 REPLY HANDLER ACTIONS Reply to comment or attach files, or !close, !claim, !unsubscribe or !assign <username>. EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: adrianheine Cc: gerritbot, Ricordisamoa, adrianheine, Wikidata-bugs, hashar, JeroenDeDauw, Lydia_Pintscher, aude, wikibugs-l _______________________________________________ Wikidata-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
