Socket now supports deleting repositories in the dashboard. The new delete button is available to admins and owners:
- The delete button only works on repos created with the API on the repositories resource.
- GitHub repos you can delete by de-activating the permissions on the gitHub app.
- This also fixes the 404 state on the repos list page.
- This also fixes 404s when viewing a report thats associated with a deleted repo.
- It also allows deleted repositories to share the slug of a recreated repository with the same slug.