Page MenuHomePhabricator

Remove CoreEvents repository (keep WikimediaEvents, which it was renamed/forked to)
Closed, ResolvedPublic

Description

CoreEvents was renamed to WikimediaEvents a while back (by forking); however, CoreEvents was left on the server.

As you can see from https://git.wikimedia.org/log/mediawiki%2Fextensions%2FCoreEvents.git and https://git.wikimedia.org/log/mediawiki%2Fextensions%2FWikimediaEvents.git?pg=2 , the last commit they share is 0580a73 .

After that, the work has been done in WikimediaEvents. I just noticed that CoreEvents was still on the server since the JSON i18n migration script was run on it (that's the only change to CoreEvents since they split).

I don't think there's any reason to keep the version with the old name, so it should be deleted.


Version: wmf-deployment
Severity: normal

Details

Reference
bz63334

Event Timeline

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

Deleted and cleaned up from all replicas.