Delete old project, its branches and builds

Build Environment
1

I’m using CircleCI with GitHub. I deleted a repo from GitHub and want to delete all traces of it from CircleCI also. How do I do that?
Thanks
Arthur

2

Right now the only way to delete a project from CircleCI is to open a ticket and have us do it.

We have a feature request for this to be a self-serve option here https://ideas.circleci.com/ideas/CCI-I-204