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
7a89f7c6e4
git-pr: emphasized that the remote is required when pulling multiple PRs.
2019-02-09 16:58:31 +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
Paul Wise
bd6a1fcafe
Documentation rebuild: dates and headers
...
Adds "Git Extras" to all the headers.
Updates all the dates to the last modification.
2018-05-09 17:16:52 +08:00
Rico Sta. Cruz
0fde295f5e
Update git PR manual to mention URLs
2016-01-22 18:01:28 +08:00
Nimit Kalra
91ca995edc
Update all man pages.
2015-12-27 11:26:38 -06:00
CJ
7d3e55a84a
run pre-release ./manning-up.sh
2015-04-27 15:24:13 +08:00
hemanth.hm
033ca547d5
Revert "Ignore *.html and *.1 auto-generated files in man/"
2014-12-12 17:34:41 +05:30
Justin Guenther
eb63d0bb1a
Remove auto-generated files man/git-*.html and man/git-*.1
2014-12-10 18:54:40 -06:00
spacewander
76e0dfef97
replace visionmedia/git-extras to tj/git-extras
...
Although Github reserves the 'visionmedia' user space(a visit to there
will be redirected to 'tj'), it's better to
rename the links from visionmedia/git-extras to tj/git-extras
2014-11-06 17:12:01 +08:00
Rico Sta. Cruz
ab67327ec0
Implement git-pr
2014-10-07 13:13:19 +08:00