Commit graph

14 commits

Author SHA1 Message Date
spacewander a921e88d76 git-pr: mention the limitation of -m option 2019-08-30 09:23:08 +08: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 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 9d2df44d18 Regerenate git-pr.html 2016-01-22 20:51:36 +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