Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.
Deleting a branch used for a pull request
You can delete a branch that is associated with a pull request if the pull request has been merged or closed and there are no other open pull requests referencing the branch. For information on closing branches that are not associated with pull requests, see "Creating and deleting branches within your repository."
-
On GitHub, navigate to the main page of the repository.
-
Under your repository name, click Pull requests.
-
Click Closed to see a list of closed pull requests.
-
In the list of pull requests, click the pull request that's associated with the branch that you want to delete.
-
Near the bottom of the pull request, click Delete branch.
This button isn't displayed if there's currently an open pull request for this branch.
Restoring a deleted branch
You can restore the head branch of a closed pull request.
- On GitHub, navigate to the main page of the repository.
- Under your repository name, click Pull requests.
- Click Closed to see a list of closed pull requests.
- In the list of pull requests, click the pull request that's associated with the branch that you want to restore.
- Near the bottom of the pull request, click Restore branch.
