diff options
| author | Junio C Hamano <gitster@pobox.com> | 2010-05-08 08:32:56 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2010-05-08 08:33:08 +0400 |
| commit | ea0edad58f58378cb42c2895c5578524bbaba296 (patch) | |
| tree | 581981e1a6a34dd098d072bf720712ba7c1f4113 /git-request-pull.sh | |
| parent | d599e0484f8ebac8cc50e9557a4c3d246826843d (diff) | |
| parent | 5bab69172fc20bb86b5245bd1ec41c32dae9eaa6 (diff) | |
Merge branch 'jn/maint-request-pull' into jn/request-pull
Diffstat (limited to 'git-request-pull.sh')
| -rwxr-xr-x | git-request-pull.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/git-request-pull.sh b/git-request-pull.sh index 8fd15f6df4..74238b0313 100755 --- a/git-request-pull.sh +++ b/git-request-pull.sh @@ -8,6 +8,7 @@ USAGE='<start> <url> [<end>]' LONG_USAGE='Summarizes the changes between two commits to the standard output, and includes the given URL in the generated summary.' SUBDIRECTORY_OK='Yes' +OPTIONS_KEEPDASHDASH= OPTIONS_SPEC='git request-pull [options] start url [end] -- p show patch text as well |