When the software development process comes to an end, and the application of interest needs to be decommissioned, you may find yourself in a situation where you need to delete a GitHub repository.
Repository deletion isn’t an onerous tasks, but GitHub does make you jump through a minor hoop or two to accomplish the task. After all, it shouldn’t be so easy to delete a GitHub repository that it might possibly happen by accident. But it’s not that difficult either. Just be sure that if you want to delete a GitHub repo that you’re prepared to enter the Danger Zone.
Steps to delete a GitHub repo
The eight steps involved in the deletion of a GitHub repository are:
- Ensure you have logged into the GitHub admin console
- Navigate to the Repositories tag
- Select the repository you wish to delete
- Click on the Settings tab
- Move down to the Danger Zone section page
- Click the Delete this repository option
- Type in the name of the repository in the challenge box
- Click the Delete button
Post GitHub repository deletion tasks
It’s worth nothing that when you delete a GitHub repo through the Admin console, it is no Git clean up on any of the developer or DevOps professionals’s machines. However, any attempts to push or pull to the GitHub repository URL of the deleted repo will fail with a repository not found error. To delete a user’s instance of a GitHub repository would require a manual deletion of all of the associated files and folders on a user’s physical machine as well.