diff options
author | Junio C Hamano <gitster@pobox.com> | 2017-01-23 15:59:23 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-01-23 15:59:23 -0800 |
commit | 71db0cf0c7558968bba5e8920821eda54e74b6cf (patch) | |
tree | c39c2aeee5121049797cc1e797e584a5c35928c1 | |
parent | Merge branch 'rh/diff-orderfile-doc' (diff) | |
parent | request-pull: drop old USAGE stuff (diff) | |
download | tgif-71db0cf0c7558968bba5e8920821eda54e74b6cf.tar.xz |
Merge branch 'ws/request-pull-code-cleanup'
Code clean-up.
* ws/request-pull-code-cleanup:
request-pull: drop old USAGE stuff
-rwxr-xr-x | git-request-pull.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/git-request-pull.sh b/git-request-pull.sh index d5500fde46..eebd33276d 100755 --- a/git-request-pull.sh +++ b/git-request-pull.sh @@ -4,9 +4,6 @@ # This file is licensed under the GPL v2, or a later version # at the discretion of Linus Torvalds. -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_STUCKLONG= |