Andrew's git / gitweb.git / blobdiff
?
gitweb: the commitdiff is very commonly used, it's needed on search page, too
[gitweb.git] / git-pull.sh
diff --git a/git-pull.sh b/git-pull.sh
index 75ec011969f7cd84979911b917b886696a077c5e..30fdc57310897207f2e931396d184e94b48ad2ef 100755 (executable)
--- 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