Page MenuHomePhabricator
Create Task
Maniphest T190286

Archive PushToWatch
Closed, ResolvedPublicRequest
Actions

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

SubjectRepoBranchLines +/-
Archive PushToWatchintegration/configmaster+1 -2
PushToWatch: extension archivedtranslatewikimaster+0 -2
Remove PushToWatch, archivedmediawiki/extensionsmaster+0 -5
Archive the PushToWatch extensionmediawiki/extensions/PushToWatchmaster+1 -428
Customize query in gerrit

Related Objects
Search...

Event Timeline

MarcoAurelio created this task.Mar 21 2018, 2:18 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptMar 21 2018, 2:18 PM
MarcoAurelio claimed this task.Mar 21 2018, 2:18 PM
Restricted Application added a project: User-MarcoAurelio. · View Herald TranscriptMar 21 2018, 2:18 PM
gerritbot subscribed.Mar 21 2018, 2:21 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

gerritbot added a project: Patch-For-Review.Mar 21 2018, 2:21 PM

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

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

MarcoAurelio updated the task description. (Show Details)Mar 21 2018, 2:23 PM
gerritbot added a comment.Mar 21 2018, 2:25 PM

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

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

gerritbot added a comment.Mar 21 2018, 2:27 PM

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

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

MarcoAurelio updated the task description. (Show Details)Mar 21 2018, 2:27 PM
MarcoAurelio moved this task from unsorted/backlog to working on on the User-MarcoAurelio board.
gerritbot added a comment.Mar 21 2018, 2:43 PM

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

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

gerritbot added a comment.Mar 21 2018, 2:52 PM

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

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

gerritbot added a comment.Mar 22 2018, 8:15 PM

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

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

gerritbot added a comment.Mar 22 2018, 8:16 PM

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

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

Umherirrender updated the task description. (Show Details)Mar 22 2018, 8:17 PM
MarcoAurelio updated the task description. (Show Details)Mar 23 2018, 9:58 AM
MarcoAurelio removed a project: Patch-For-Review.
MarcoAurelio moved this task from working on to ready/patched/SWAT on the User-MarcoAurelio board.
MarcoAurelio added subscribers: Reedy, • demon.EditedMar 24 2018, 7:41 PM

Ping @demon @Reedy for GitHub repo mirror deletion.

https://github.com/wikimedia/mediawiki-extensions-PushToWatch

Liuxinyu970226 moved this task from Untriaged to Archive extensions on the Projects-Cleanup board.Mar 25 2018, 7:40 AM
MarcoAurelio moved this task from Backlog to Cleanup / Archival on the Diffusion-Repository-Administrators board.Mar 26 2018, 11:04 AM
MarcoAurelio mentioned this in T190671: Identify archived extensions on mediawiki.org but not on Gerrit (and viceversa).
• demon added a comment.Mar 26 2018, 4:17 PM

Done.

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/patched/SWAT to cabinet on the User-MarcoAurelio board.
Kizule added a parent task: T194773: Repository Ownership Request for user Zoranzoki21 for extension PushToWatch.May 15 2018, 3:49 PM
Kizule mentioned this in T194785: Unarchive PushToWatch extension.May 30 2018, 2:48 AM
Raymond closed subtask T194785: Unarchive PushToWatch extension as Resolved.May 30 2018, 6:41 AM
• Vvjjkkii reopened subtask T194785: Unarchive PushToWatch extension as Open.Jul 1 2018, 1:09 AM
CommunityTechBot closed subtask T194785: Unarchive PushToWatch extension as Resolved.Jul 2 2018, 5:14 AM
Content licensed under Creative Commons Attribution-ShareAlike (CC BY-SA) 4.0 unless otherwise noted; code licensed under GNU General Public License (GPL) 2.0 or later and other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL