Justin Dugger
9e843da98d
add a default for the remote to fetch a pr from
2020-05-14 00:32:48 -07:00
spacewander
eae05bbb98
git-pr: add -m|--merge option to check out a merge commit
...
Close #757 .
2019-06-17 11:15:12 +08:00
spacewander
f29dad042c
git-pr: accpeted multiple GitHub URL or ID with remote.
2019-02-02 12:29:41 +08:00
spacewander
87b7c959b4
git-pr: added <[remote]:pr number> option.
2019-02-02 11:45:27 +08:00
J.C. Yamokoski
6eb04bcca8
Remove slashes from git-config command
...
These slashes were causing the branch to be saved in `.git/config` with headings
such as `[branch "\"pr/123\""]` as opposed to `[branch "pr/123"]`. This in turn
prevented these entries from being removed when running `git pr clean`.
2017-03-28 09:44:40 -04:00
R. Martinho Fernandes
241069ddac
Make git-pr set up branch for pulling ( #570 )
...
With these changes, the pr/nn branches created by git-pr also support `git pull` to get PR updates.
2016-09-11 09:12:41 +05:30
Johannes Ewald
7b74567550
Add possibility to also checkout pull requests based on GitHub urls
2015-09-24 16:11:06 +02:00
hemanth.hm
7b7913fab1
More portable she-bangs.
2014-11-30 17:47:26 +05:30
Rico Sta. Cruz
ab67327ec0
Implement git-pr
2014-10-07 13:13:19 +08:00