...because the Projects-Cleanup template has not always been followed over the last years so lots of noise in there, potentially hiding other issues. Found because I was originally looking for pointers in T274559#9695403.
- Confirm repo does not exist anymore, browser style (https://gerrit.wikimedia.org/g/path/to/deleted/repo.git) and local (git clone ssh://gerrit.wikimedia.org:29418/path/to/deleted/repo.git).
- Then corresponding sudo /srv/phab/phabricator/bin/remove destroy rKILLKILLKILL for whatever it's called in Diffusion. Ignore some DB errors about edges.
- FYI SELECT CONCAT("https://phabricator.wikimedia.org/diffusion/", r.id, "/manage/uris/") AS repoURI, r.name, u.uri FROM phabricator_repository.repository_uri u INNER JOIN phabricator_repository.repository r ON r.phid = u.repositoryPHID WHERE u.uri LIKE "%deleted/reponame%"; can sometimes also come handy.
Randomly mirroring repos around between four different systems based on idealistic incentives or questionable beliefs may have downsides; T359549: Drop our mirroring of code to Diffusion and empty the repos may have a point.