summaryrefslogtreecommitdiff
path: root/git-pull.sh
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2007-11-06 01:50:02 -0800
committerJunio C Hamano <gitster@pobox.com>2007-11-06 01:50:02 -0800
commit8f321a39257a06db014a3b6ae5dce839821cdb16 (patch)
treebdae79f6e99d8db7ded12228cec8b3fe37d9ad9f /git-pull.sh
parent5715d0bb60dd90b03519cc436310f3cabe5b9b2a (diff)
downloadgit-8f321a39257a06db014a3b6ae5dce839821cdb16.tar.gz
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-pull.sh')
-rwxr-xr-xgit-pull.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/git-pull.sh b/git-pull.sh
index 75ec011969..30fdc57310 100755
--- a/git-pull.sh
+++ b/git-pull.sh
@@ -7,6 +7,7 @@
USAGE='[-n | --no-summary] [--[no-]commit] [--[no-]squash] [--[no-]ff] [-s strategy]... [<fetch-options>] <repo> <head>...'
LONG_USAGE='Fetch one or more remote refs and merge it/them into the current HEAD.'
SUBDIRECTORY_OK=Yes
+OPTIONS_SPEC=
. git-sh-setup
set_reflog_action "pull $*"
require_work_tree