diff options
| author | Joey Hess <joey@kitenet.net> | 2012-11-19 12:08:53 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2012-11-19 12:08:53 -0400 |
| commit | 4adbc0eecebc3b59a66f014919a39a43d0940e96 (patch) | |
| tree | f296cb6e52da63336aa5cac7347a16f93fa8c7e3 /commit.d/99git-push | |
| parent | f0b914f3341b7ff9b014498713458384603dfbd6 (diff) | |
improvements to push code
Diffstat (limited to 'commit.d/99git-push')
| -rwxr-xr-x | commit.d/99git-push | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/commit.d/99git-push b/commit.d/99git-push deleted file mode 100755 index 0c3cdd1..0000000 --- a/commit.d/99git-push +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh -set -e - -if [ "$VCS" = git ] && [ -d .git ] && [ -n "$PUSH_REMOTE" ]; then - if git config --get remote.$PUSH_REMOTE.url; then - git push $PUSH_REMOTE master - else - echo "etckeeper warning: Configured remote '$PUSH_REMOTE' is unknown to git" - fi -fi |