This is basically a missing integration with the system that @Andrew built for T170355: Figure out process for deleting an unused tool (wikitech docs). There is also nothing currently deleting or otherwise marking GitLab projects and their associated Diffusion mirrors as abandoned or archived when the tool that created them is deleted.