diff options
author | Junio C Hamano <junkio@cox.net> | 2005-11-24 00:12:11 -0800 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2005-11-25 13:49:17 -0800 |
commit | ae2b0f15180d4b044828c836bcab6a990efa5c8e (patch) | |
tree | f316bfd81eaa2064c1d9e01a336eaed8d7a5bd4f /git-push.sh | |
parent | e8cc80d03934cc607e3a4d89a05350c238dbf9c5 (diff) | |
download | git-ae2b0f15180d4b044828c836bcab6a990efa5c8e.tar.gz |
git-sh-setup: die if outside git repository.
Now all the users of this script detect its exit status and die,
complaining that it is outside git repository. So move the code
that dies from all callers to git-sh-setup script.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'git-push.sh')
-rwxr-xr-x | git-push.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-push.sh b/git-push.sh index edc0b8317a..140c8f85d5 100755 --- a/git-push.sh +++ b/git-push.sh @@ -1,5 +1,5 @@ #!/bin/sh -. git-sh-setup || die "Not a git archive" +. git-sh-setup usage () { die "Usage: git push [--all] [--force] <repository> [<refspec>]" |