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."
-
En GitHub Enterprise, visita la página principal del repositorio.
-
Debajo del nombre de tu repositorio, da clic en Solicitudes de extracción.
-
Da clic en Cerrado para ver una lista de solicitudes de extracción cerradas.
-
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.
- En GitHub Enterprise, visita la página principal del repositorio.
- Debajo del nombre de tu repositorio, da clic en Solicitudes de extracción.
- Da clic en Cerrado para ver una lista de solicitudes de extracción cerradas.
- 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.