hashar added a comment. In https://phabricator.wikimedia.org/T63601#1131109, @adrianheine wrote:
> 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. Thanks! I have filled T93171: Delete mediawiki/extensions/DataTypes from Gerrit <https://phabricator.wikimedia.org/T93171> to get the repo :) 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, hashar 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
