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 | 831bd5e775ad5225f2a98eba738f69148cd50e0a (diff) | |
parent | c68d2d7c2b9e68a469780f5556719ec1f1d95cf3 (diff) | |
download | git-71db0cf0c7558968bba5e8920821eda54e74b6cf.tar.gz |
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= |