git-pull-request

git-pull-request copied to clipboard

Fetching from refs/pulls instead

1

I'm curious why not just pull from refs/pulls/[PR#]/head instead of trying to fetch from the original contributor's branch? This fails in cases when the remote branch was deleted or doesn't...

bdowling

I believe this is a better version of https://github.com/splitbrain/git-pull-request/pull/4 (cleaned of all personal configurations and non-essential changes) and it should replace it.

mcepl

The "sympy.github.com" as the name of the repos confuses the re parser.

certik

If you support merging a pull request into a branch, it would be nice if you could create pull-requests from the command line too, so you wouldn't have to use...

alistra