Skip to content

Instantly share code, notes, and snippets.

View giles-v's full-sized avatar

Giles Copp giles-v

  • Dropbox
  • Hudson Valley, NY
View GitHub Profile
@robertpainsi
robertpainsi / README.md
Last active July 23, 2024 09:50
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 :