Skip to content

Instantly share code, notes, and snippets.

@pomadchin
Forked from robertpainsi/README.md
Created February 13, 2023 23:12
Show Gist options
  • Save pomadchin/2bdda8faac2a0930a371d3e5eef615a1 to your computer and use it in GitHub Desktop.
Save pomadchin/2bdda8faac2a0930a371d3e5eef615a1 to your computer and use it in GitHub Desktop.
How to reopen a pull-request after a force-push?

How to reopen a pull-request after a force-push?

Precodinitions

  • You need the rights to reopen pull requests on the repository.
  • The pull request hasn't been merged, just closed.

Instructions

  1. Write down the current commit hash of your PR-branch git log --oneline -1 <PR-BRANCH>
  2. Write down the latest commit hash on github before the PR has been closed.
  3. git push -f origin <GITHUB-HASH-FROM-STEP-2>:<PR-BRANCH>
  4. Reopen the PR.
  5. git push -f origin <HASH-FROM-STEP-1>:<PR-BRANCH>

Example

You've a PR branch my-feature currently at 1234567. Looking at the the PRs page, we see that the PR was closed when my-feature pointed at 0abcdef.

  • git push -f origin 0abcdef:my-feature #pushing the old commit the PR has been closed with
  • Reopen the PR.
  • git push -f origin 1234567:my-feature #pushing the latest commit
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment