Page MenuHomePhabricator
Create Task
Maniphest T182231

Archive the mediawiki/extensions/GitHub mirror on gerrit
Closed, ResolvedPublicRequest
Actions

Description

The description of mediawiki/extensions/GitHub says that it is only used for i18n updates, but translatewiki can update extensions on github and this extensions seems to be configurated to do it, so it should be archived on gerrit:

Details

SubjectRepoBranchLines +/-
[GitHub] Archived extensionintegration/configmaster+1 -2
Remove GitHub extensionmediawiki/extensionsmaster+0 -5
Empty moved extensionmediawiki/extensions/GitHubmaster+1 -1 K
Customize query in gerrit

Event Timeline

Umherirrender created this task.Dec 6 2017, 7:22 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptDec 6 2017, 7:22 PM
Umherirrender added a subscriber: MarcoAurelio.Dec 6 2017, 7:23 PM
gerritbot subscribed.Dec 8 2017, 8:02 PM

Change 396458 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[mediawiki/extensions/GitHub@master] Empty moved extension

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

gerritbot added a project: Patch-For-Review.Dec 8 2017, 8:02 PM

Change 396458 merged by Umherirrender:
[mediawiki/extensions/GitHub@master] Empty moved extension

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

gerritbot added a comment.Dec 8 2017, 8:06 PM

Change 396460 merged by Umherirrender:
[mediawiki/extensions@master] Remove GitHub extension

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

Umherirrender updated the task description. (Show Details)Dec 8 2017, 8:07 PM
gerritbot added a comment.Dec 8 2017, 8:12 PM

Change 396466 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[integration/config@master] [GitHub] Archived extensions

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

MarcoAurelio moved this task from Backlog to Cleanup / Archival on the Diffusion-Repository-Administrators board.Dec 11 2017, 9:26 AM
gerritbot added a comment.Dec 11 2017, 9:59 AM

Change 396466 merged by jenkins-bot:
[integration/config@master] [GitHub] Archived extension

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

Stashbot subscribed.Dec 11 2017, 10:00 AM

Mentioned in SAL (#wikimedia-releng) [2017-12-11T10:00:43Z] <hashar> github: deleted https://github.com/wikimedia/mediawiki-extensions-GitHub | T182231

hashar updated the task description. (Show Details)Dec 11 2017, 10:01 AM
hashar subscribed.

Archived in CI and deleted from GitHub.

Liuxinyu970226 moved this task from Untriaged to Archive extensions on the Projects-Cleanup board.Dec 16 2017, 7:34 AM
Umherirrender unsubscribed.Jan 1 2018, 1:52 PM
MarcoAurelio moved this task from Backlog to delete on the Wikimedia-GitHub board.May 4 2018, 9:10 AM
MarcoAurelio closed this task as Resolved.May 6 2018, 8:59 PM
MarcoAurelio triaged this task as Medium priority.
MarcoAurelio updated the task description. (Show Details)
MarcoAurelio removed a project: Patch-For-Review.
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 · Credits