Delete old project, its branches and builds

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?

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