Contents
Can you reopen a closed pull request GitHub?
Once a pull request is merged and closed, it is locked forever and cannot be reopened.
How do I resubmit a pull request GitHub?
If changes have been made to a pull request that has already been reviewed, you can now re-request a review with a single click in the pull request’s sidebar. This will notify the requested reviewers that changes have been made.
How do I recover a deleted pull request?
Restoring a deleted branch 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.
How do I reopen a github issue?
You can ask in the issue thread if a repo collaborator can reopen it, or you can open a new issue and reference the old one (by mentioning its number preceded by a hash sign, e.g. #123 ).
How to create a pull request on GitHub?
You can also click the “Pull Requests” tab at the top of the main page of a repository to submit a pull request (PR). When the pull request page opens, click the “New pull request” button to initiate a PR. You can also click on the PR button in the repository that you are submitting changes to!
What do you do with your branch after a git pull request?
Whenever a branch is merged (most likely into master) we tag the merge point using the name of the branch with the prefix “branch” (e.g. branch-topic). Then delete the branch. If we need to resurrect work at the branch point we have the tag to be able to do that. There are of course exceptions.
What happens when you delete a fork on GitHub?
Deleting forked repositories will erase history from your Pull Requests. Deleting a forked repository will delete any information associated with your repository. This can retroactively affect any references to your repository, including pull requests that have already been merged.
Is it OK to delete old branches on GitHub?
While deleting repositories should be avoided, deleting unused branches is perfectly acceptable. In fact, GitHub encourages you to delete old branches. Tidying up after Pull Requests At GitHub, we love to use Pull Requests all day, every day.