Home > Article > Development Tools > How to delete the library on github
Creating libraries in Github is very easy, but deleting them can sometimes be a problem. If you delete a library by mistake, you may want to restore it, or you may just want to delete it completely. No matter what your reason is, there are a few different methods you can use to delete a repository on Github. In this article, we will introduce several methods to delete Github repository.
First method: Delete the repository
This is the simplest method, just a few steps:
1. Log in to Github’s homepage, and click the button you want to Deleted repository.
2. Then find the warehouse settings option and click on it.
3. Scroll the interface until you find the "Danger Zone" tab. Then click "Delete this repository".
4. In the pop-up window, enter the name of the library to be deleted, and then click "I confirm that I want to delete this warehouse".
This process is permanent and you cannot restore the deleted warehouse. Therefore, before deleting, you need to make sure that no important content has not been saved.
Second method: Restore a deleted repository
If you delete a repository on Github by mistake, or decide to restore a deleted repository, you can use the following steps:
1. Click the avatar on the Github homepage and select "Settings".
2. Scroll down to "Danger Zone" and select "Restore deleted repository".
3. Select the library you want to restore from the list and click "Restore".
Note that if you have created a new repository with the same name as this repository on Github, you cannot restore the repository.
Third method: Delete via Terminal
If you prefer to use the terminal, then you can also use it to delete the repository on Github.
1. Open the terminal and enter the following command:
git rm -r <repository name>
2. Use the following command to commit the changes:
git commit -m "Remove <repository name> from Github"
3. Finally, use the following command to push the modifications to Github :
git push origin master
During this process, you also need to enter your username and password.
Summary:
In this article, we introduced three different methods to delete libraries on Github. The first method is to delete the repository, this is the easiest method, but you need to act quickly. The second method is to recover a deleted repository, which can be very useful if you find that you accidentally deleted a much-needed repository. Finally, if you prefer to use the terminal, you can also use it to delete repositories on Github. Whichever method you choose, make sure you know what you're doing so you don't delete something important that you can't recover.
The above is the detailed content of How to delete the library on github. For more information, please follow other related articles on the PHP Chinese website!