check_packed_git_idx(): check integrity of the idx file itself.

[thirdparty/git.git] / git-pull.sh
diff --git a/git-pull.sh b/git-pull.sh

index 3a139849fbfc545b7c479dd2889a0285fab646d5..0991d5f14cd6d903572a041cfbfe3cde219c738f 100755 (executable)
--- a/git-pull.sh
+++ b/git-pull.sh
@@ -4,19 +4,10 @@
  #
  # Fetch one or more remote refs and merge it/them into the current HEAD.
  
+USAGE='[-n | --no-summary] [--no-commit] [-s strategy]... [<fetch-options>] <repo> <head>...'
+LONG_USAGE='Fetch one or more remote refs and merge it/them into the current HEAD.'
  . git-sh-setup
  
-usage () {
-    echo >&2 "usage: $0"' [-n] [--no-commit] [--no-summary] [--help]
-    [-s strategy]...
-    [<fetch-options>]
-    <repo> <head>...
-
-Fetch one or more remote refs and merge it/them into the current HEAD.
-'
-    exit 1
-}
-
  strategy_args= no_summary= no_commit=
  while case "$#,$1" in 0) break ;; *,-*) ;; *) break ;; esac
  do