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

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

Mentioned in SAL (#wikimedia-releng) [2019-11-06T11:31:22Z] <hauskater> Deleted https://github.com/wikimedia/labs-tools-discordwiki | T237491

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

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

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 :]

In T237491#5639881, @MarcoAurelio wrote:

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