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

Reply via email to