Skip to content

Instantly share code, notes, and snippets.

@vielhuber
Created January 15, 2023 23:18
Show Gist options
  • Save vielhuber/d2d7e93afe5f5da748386b4107479bd1 to your computer and use it in GitHub Desktop.
Save vielhuber/d2d7e93afe5f5da748386b4107479bd1 to your computer and use it in GitHub Desktop.
github merge pull request #git

checkout pr locally

  • gh pr checkout 16 // 16 is the pr id
  • git merge master // now do all stuff like normal, e.g. merge current master in branch

merge pr into master

  • git checkout master
  • git merge foo/bar
  • git push
  • the pr then closes automatically
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment