Skip to content

Instantly share code, notes, and snippets.

@robertpainsi

robertpainsi/README.md

Last active December 9, 2024 05:53
Show Gist options
  • Save robertpainsi/2c42c15f1ce6dab03a0675348edd4e2c to your computer and use it in GitHub Desktop.
Save robertpainsi/2c42c15f1ce6dab03a0675348edd4e2c to your computer and use it in GitHub Desktop.
Download ZIP
How to reopen a pull-request after a force-push?
Raw
README.md

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
@stceum
Copy link

stceum commented Jan 27, 2024

Thanks a lot !

@gocklkatz
Copy link

Thanks a lot !

@dcolinmorgan
Copy link

honest pretty freaking awesome!

@f-hollow
Copy link

f-hollow commented Dec 9, 2024

Amazing, thanks a lot!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment