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.

Event Timeline

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 triaged this task as Medium priority.
MarcoAurelio updated the task description. (Show Details)
MarcoAurelio moved this task from ready/patched/deploy to cabinet on the User-MarcoAurelio board.