A project named “boxofdevs” was created by @anon1813117 on his old GitHub account, before he deleted it. Now nobody has access to this project (the contents of it are worthless, @anon1813117 now has a better version of it under a different name), but I would like the project name (for the URL) for a group (https://github.com/BoxOfDevs) I founded a while back.
Is there any possible way for someone to regain access to or delete that project?