1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
git-pr(1) -- Checks out a pull request locally
=================================
## SYNOPSIS
`git-pr` [-m|--merge] <number> [<remote>]<br>
`git-pr` [-m|--merge] <[remote]:number>...<br>
`git-pr` [-m|--merge] <url>...<br>
`git-pr clean`
## DESCRIPTION
Creates a local branch based on a GitHub pull request number or URL, and
switch to that branch afterwards.
## OPTIONS
<remote>
The name of the remote to fetch from. Defaults to `origin`.
<url>
GitHub pull request URL in the format `https://github.com/tj/git-extras/pull/453`.
-m | --merge
Checkout a merge commit against the branch the pull request is targeting.
Because this feature uses a private API with which GitHub checks the pull
request's mergeability, it only works with the opened pull request. If the merge
commit is not up-to-date, please visit the pull request web page to trigger the
rebuild.
## EXAMPLES
This checks out the pull request `226` from `origin`:
$ git pr 226
remote: Counting objects: 12, done.
remote: Compressing objects: 100% (9/9), done.
remote: Total 12 (delta 3), reused 9 (delta 3)
Unpacking objects: 100% (12/12), done.
From https://github.com/tj/git-extras
* [new ref] refs/pull/226/head -> pr/226
Switched to branch 'pr/226'
This pulls from a different remote:
$ git pr 226 upstream
This does the same thing as the command above:
$ git pr upstream:226
You can also checkout a pull request based on a GitHub URL:
$ git pr https://github.com/tj/git-extras/pull/453
From https://github.com/tj/git-extras
* [new ref] refs/pull/453/head -> pr/453
Switched to branch 'pr/453'
You could even pull multiple pull requests via the GitHub URL or the ID **with remote specified**:
$ git pr upstream:226 upstream:443
$ git pr upstream:443 https://github.com/tj/git-extras/pull/453
Note that `git pr PR-A PR-B` is equal to:
$ git pr PR-A
$ git pr PR-B
Therefore, if one of the pull request is failed to pull, this command will still go ahead and pull
the others. The final exit code will be decided by the result of the final pulling.
With `--merge` option, you could check out a merge commit:
$ git pr origin:755 --merge
remote: Enumerating objects: 3, done.
remote: Counting objects: 100% (3/3), done.
remote: Compressing objects: 100% (3/3), done.
remote: Total 3 (delta 0), reused 0 (delta 0), pack-reused 0
Unpacking objects: 100% (3/3), done.
From github.com:tj/git-extras
bf7dd69..de6e51c refs/pull/755/merge -> pr/755
Switched to branch 'pr/775'
$ git log pr/775 --oneline
de6e51c (pr/755) Merge bf7dd6...
To clean up old branches:
$ git pr clean
Deleted branch pr/226 (was b96a8c2).
Deleted branch pr/220 (was d34dc0f).
Deleted branch pr/775 (was de6e51c).
## AUTHOR
Originally from https://gist.github.com/gnarf/5406589
## REPORTING BUGS
<<https://github.com/tj/git-extras/issues>>
## SEE ALSO
<<https://github.com/tj/git-extras>>
|
