Documentation: more examples.

diff --git a/git-pull.sh b/git-pull.sh
index 3b875ad438c21df50c0b1f26bc8fac5ab1bc9740..3a139849fbfc545b7c479dd2889a0285fab646d5 100755 (executable)
--- a/git-pull.sh
+++ b/git-pull.sh
@@ -4,7 +4,7 @@
 #
 # Fetch one or more remote refs and merge it/them into the current HEAD.
 
-. git-sh-setup || die "Not a git archive"
+. git-sh-setup
 
 usage () {
     echo >&2 "usage: $0"' [-n] [--no-commit] [--no-summary] [--help]