Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Github remote pr
$ git remote add pr git@github.com:sbcl/sbcl.git
$ git config remote.pr.fetch '+refs/pull/*/head:refs/remotes/pr/*'
$ git checkout master
$ git fetch pr
$ git log ..pr/7
$ git merge --no-ff pr/7
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.