10 commits

Author	SHA1	Message	Date
Edwin Kofler	b372bab52a	chore: Improve Bash variously (#1032)	2023-02-21 10:03:56 +08:00
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