Page MenuHomePhabricator

Archive the EtherEditor extension
Closed, ResolvedPublicRequest

Description

Reason:

One off experiment by @MarkTraceur , it was great at the time. Wikiapari shows no usage, the extension did not receive much patches beside the usual routine maintenance.

Event Timeline

Change 441058 had a related patch set uploaded (by Hashar; owner: Hashar):
[integration/config@master] Archive EtherEditor extension

https://gerrit.wikimedia.org/r/441058

Change 441058 merged by jenkins-bot:
[integration/config@master] Archive EtherEditor extension

https://gerrit.wikimedia.org/r/441058

MarcoAurelio added a subscriber: MarcoAurelio.

I guess I will take care of this one as well :-)

Change 441373 had a related patch set uploaded (by MarcoAurelio; owner: MarcoAurelio):
[translatewiki@master] Archive the EtherEditor extension

https://gerrit.wikimedia.org/r/441373

Change 441374 had a related patch set uploaded (by MarcoAurelio; owner: MarcoAurelio):
[mediawiki/extensions/EtherEditor@master] Archive the EtherEditor extension

https://gerrit.wikimedia.org/r/441374

Change 441374 merged by MarcoAurelio:
[mediawiki/extensions/EtherEditor@master] Archive the EtherEditor extension

https://gerrit.wikimedia.org/r/441374

Change 441375 had a related patch set uploaded (by MarcoAurelio; owner: MarcoAurelio):
[mediawiki/extensions@master] Archive the EtherEditor extension

https://gerrit.wikimedia.org/r/441375

Change 441375 merged by MarcoAurelio:
[mediawiki/extensions@master] Archive the EtherEditor extension

https://gerrit.wikimedia.org/r/441375

Change 441373 merged by jenkins-bot:
[translatewiki@master] Archive the EtherEditor extension

https://gerrit.wikimedia.org/r/441373

hashar updated the task description. (Show Details)
Vvjjkkii renamed this task from Archive the EtherEditor extension to pnaaaaaaaa.Jul 1 2018, 1:02 AM
Vvjjkkii reopened this task as Open.
Vvjjkkii removed MarcoAurelio as the assignee of this task.
Vvjjkkii triaged this task as High priority.
Vvjjkkii updated the task description. (Show Details)
MarcoAurelio lowered the priority of this task from High to Medium.
CommunityTechBot raised the priority of this task from Medium to Needs Triage.

@MarcoAurelio could you add another item to the checklist that archived repositories should be removed from https://doc.wikimedia.org/cover-extensions/ if they're on there? It shouldn't block archiving the git repo, but should be cleaned up. It will require a Continuous-Integration-Infrastructure shell user to delete it directly on the server though.

Mentioned in SAL (#wikimedia-releng) [2018-07-28T03:24:03Z] <legoktm> legoktm@contint1001:/srv/org/wikimedia/doc/cover-extensions$ sudo -u jenkins-slave rm -rf EtherEditor/ # T197698

@Legoktm I've updated the description of Projects-Cleanup, but don't have the rights needed to update the archive request form.

@Legoktm I've updated the description of Projects-Cleanup, but don't have the rights needed to update the archive request form.

Thanks! And I've updated the form now :)

Good catch. There are probably several of others that need to be removed from contint. Thanks for the form updating. Regards.