diff options
author | Joey Hess <joey@kitenet.net> | 2013-05-06 09:49:23 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-05-06 09:49:23 -0400 |
commit | d1dbe26b3398d478ea1a8ba56cc571506c08c0aa (patch) | |
tree | 29353a07c3afc61912b2293d299dd6f40855d10e /commit.d/99push | |
parent | 77642416a16c56d590f92ecdef0d2f564425f492 (diff) |
Fix warning when PUSH_REMOTE is not set. Closes: #706917
Diffstat (limited to 'commit.d/99push')
-rwxr-xr-x | commit.d/99push | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/commit.d/99push b/commit.d/99push index 9c1844c..9a5d81e 100755 --- a/commit.d/99push +++ b/commit.d/99push @@ -1,7 +1,8 @@ #!/bin/sh - -if [ "$VCS" = git ] && [ -d .git ] && [ -n "$PUSH_REMOTE" ]; then - git push "$PUSH_REMOTE" master || true -else - echo "PUSH_REMOTE not yet supported for $VCS" >&2 +if [ -n "$PUSH_REMOTE" ]; then + if [ "$VCS" = git ] && [ -d .git ]; then + git push "$PUSH_REMOTE" master || true + else + echo "PUSH_REMOTE not yet supported for $VCS" >&2 + fi fi |