diff options
| author | Junio C Hamano <gitster@pobox.com> | 2007-11-06 12:50:02 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-11-06 12:50:02 +0300 |
| commit | 8f321a39257a06db014a3b6ae5dce839821cdb16 (patch) | |
| tree | bdae79f6e99d8db7ded12228cec8b3fe37d9ad9f /git-request-pull.sh | |
| parent | 5715d0bb60dd90b03519cc436310f3cabe5b9b2a (diff) | |
scripts: Add placeholders for OPTIONS_SPEC
--text follows this line--
These commands currently lack OPTIONS_SPEC; allow people to
easily list with "git grep 'OPTIONS_SPEC=$'" what they can help
improving.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
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 a992430679..90d969c625 100755 --- a/git-request-pull.sh +++ b/git-request-pull.sh @@ -8,6 +8,7 @@ USAGE='<commit> <url> [<head>]' LONG_USAGE='Summarizes the changes since <commit> to the standard output, and includes <url> in the message generated.' SUBDIRECTORY_OK='Yes' +OPTIONS_SPEC= . git-sh-setup . git-parse-remote |