Page MenuHomePhabricator

Archive PushToWatch
Closed, ResolvedPublicRequest

Description

Reason: PushToWatch was marked as archived on mediawiki.org, however the steps to archive the extension were not followed.

  • Archive documentation on mediawiki.org.
  • Remove from mediawiki/extensions.
  • Remove tests in integration/config.
  • Remove from translatewiki.
  • Archive the extension's diffusion repository.
  • Mark the repository read-only in Gerrit.
  • Delete the GitHub mirror.

Details

Related Gerrit Patches:
integration/config : masterArchive PushToWatch
translatewiki : masterPushToWatch: extension archived
mediawiki/extensions : masterRemove PushToWatch, archived
mediawiki/extensions/PushToWatch : masterArchive the PushToWatch extension

Event Timeline

Restricted Application added a subscriber: Aklapper. · View Herald TranscriptMar 21 2018, 2:18 PM
Restricted Application added a project: User-MarcoAurelio. · View Herald TranscriptMar 21 2018, 2:18 PM

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

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

Change 421019 had a related patch set (by MarcoAurelio) published:
[mediawiki/extensions@master] Remove PushToWatch, archived

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

Change 421021 had a related patch set (by MarcoAurelio) published:
[integration/config@master] Archive PushToWatch

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

Change 421022 had a related patch set (by MarcoAurelio) published:
[translatewiki@master] PushToWatch: extension archived

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

Change 421022 merged by jenkins-bot:
[translatewiki@master] PushToWatch: extension archived

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

Change 421021 merged by jenkins-bot:
[integration/config@master] Archive PushToWatch

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

Change 421019 merged by Umherirrender:
[mediawiki/extensions@master] Remove PushToWatch, archived

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

Change 421018 merged by Umherirrender:
[mediawiki/extensions/PushToWatch@master] Archive the PushToWatch extension

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

MarcoAurelio moved this task from working on to ready on the User-MarcoAurelio board.
MarcoAurelio closed this task as Resolved.Mar 27 2018, 11:28 AM
MarcoAurelio triaged this task as Medium priority.
MarcoAurelio updated the task description. (Show Details)
MarcoAurelio moved this task from ready to cabinet on the User-MarcoAurelio board.