If a developer wants to delete a user’s instance of a GitHub repository, it would require a manual deletion of all the associated files and folders on a user’s physical machine as well.