Page MenuHomePhabricator

Remove repo mediawiki/extensions/DataTypes
Closed, DuplicatePublic

Description

It's been read-only for since early 2014, and development has continued on GitHub.

Please wait for Jeroen de Dauw's confirmation before acting on this request.

Details

Reference
bz63372

Event Timeline

bzimport raised the priority of this task from to Needs Triage.Nov 22 2014, 3:04 AM
bzimport added a project: Gerrit.
bzimport set Reference to bz63372.
bzimport added a subscriber: Unknown Object (MLST).

I just got rid of DataValues yesterday. Katie said something about DataTypes though. We shall wait for their confirmation :)

Confirmed dev is on GH. Will now check if we really do not care about i18n for this.

Guess we should care about the i18n.

I'm trying to sync the repo back to gerrit now so i18n updates can happen again. Gerrit is being fail though... Will try again later.

! [remote rejected] master -> master (you are not allowed to upload merges)

Is allowed at https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/DataTypes,access

Does this need some time to take effect?!

Still getting the error... Chad: what am I doing wrong?

(In reply to Jeroen De Dauw from comment #4)

! [remote rejected] master -> master (you are not allowed to upload merges)

Is allowed at
https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/
DataTypes,access

Does this need some time to take effect?!

No.

(In reply to Jeroen De Dauw from comment #5)

Still getting the error... Chad: what am I doing wrong?

Good question.

Well, if someone could do a pull from https://github.com/wmde/DataTypes and force push it to the wmf hosted repo, that'd be great.

hashar updated the task description. (Show Details)
hashar set Security to None.