Page MenuHomePhabricator

Archive labs/tools/discordwiki on Gerrrit
Closed, ResolvedPublic

Details

Related Gerrit Patches:
integration/config : masterzuul: archive labs/tools/discordwiki
labs/tools/discordwiki : masterArchive repository

Event Timeline

Restricted Application added a subscriber: Aklapper. · View Herald TranscriptWed, Nov 6, 2:31 AM

Too rTDWI can be deleted/archived whatever.

Thanks!

Change 548946 had a related patch set uploaded (by Zoranzoki21; owner: Zoranzoki21):
[integration/config@master] Remove labs/tools/discordwiki from zuul/layout.yaml

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

MarcoAurelio added a project: Cleanup.
MarcoAurelio added a subscriber: MarcoAurelio.

Given the latest issues with the delete-project plugin (T233989), I'll just archive the repository for now.

Restricted Application added a project: User-MarcoAurelio. · View Herald TranscriptWed, Nov 6, 11:21 AM
MarcoAurelio moved this task from Backlog to Cleanup / Archival on the Repository-Admins board.
MarcoAurelio moved this task from unsorted/backlog to working on on the User-MarcoAurelio board.

Change 549066 had a related patch set uploaded (by MarcoAurelio; owner: MarcoAurelio):
[labs/tools/discordwiki@master] Archive repository

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

Change 549066 merged by jenkins-bot:
[labs/tools/discordwiki@master] Archive repository

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

  • Gerrit repository archived and tagged as such.
  • GitHub mirror deleted.
  • Diffusion mirror deactivated.

Closing. The CI patch can happen at any time now.

MarcoAurelio closed this task as Resolved.Wed, Nov 6, 11:36 AM
MarcoAurelio moved this task from working on to cabinet on the User-MarcoAurelio board.
hashar added a subscriber: hashar.Wed, Nov 6, 12:53 PM

Whenever changes have been to the repository (see https://gerrit.wikimedia.org/r/#/q/project:labs/tools/discordwiki
), it is indeed better to archive the repository. Else all the review comments, approvals etc are lost :]

Given the latest issues with the delete-project plugin (T233989), I'll just archive the repository for now.

When a repository is empty, feel free to delete them. The issue there is just some warnings logged on the server side and are not really causing any issue. The deletion plugin needs to be fixed and then some database fields would need to be updated, but that is about it.

Change 548946 merged by jenkins-bot:
[integration/config@master] zuul: archive labs/tools/discordwiki

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

hashar renamed this task from Delete labs/tools/discordwiki on Gerrrit to Archive labs/tools/discordwiki on Gerrrit.Thu, Nov 7, 1:47 PM