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 subscribed.

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.