diff options
| author | Joey Hess <joey@kitenet.net> | 2014-05-17 11:26:46 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-05-17 11:26:46 -0400 |
| commit | d53757bd441b9f16b6215543bdd32e750c1560ad (patch) | |
| tree | 78a2ad47d4bbd19e33a97ca78b15f364fd66ead4 | |
| parent | a9001e1a581e1ba39fc496b89713ff4f6eab651e (diff) | |
| parent | a6ab71be5d5dc5d2cf8c5c24d0b4d4fc850080a0 (diff) | |
Merge branch 'master' of https://github.com/rouben/etckeeper
| -rwxr-xr-x | commit.d/99push | 8 | ||||
| -rw-r--r-- | etckeeper.conf | 3 |
2 files changed, 8 insertions, 3 deletions
diff --git a/commit.d/99push b/commit.d/99push index 5aa8d21..b5418f7 100755 --- a/commit.d/99push +++ b/commit.d/99push @@ -1,9 +1,13 @@ #!/bin/sh if [ -n "$PUSH_REMOTE" ]; then if [ "$VCS" = git ] && [ -d .git ]; then - git push "$PUSH_REMOTE" master || true + for REMOTE in $PUSH_REMOTE; do + git push "$REMOTE" master || true + done elif [ "$VCS" = hg ] && [ -d .hg ]; then - hg push "$PUSH_REMOTE" || true + for REMOTE in $PUSH_REMOTE; do + hg push "$REMOTE" || true + done else echo "PUSH_REMOTE not yet supported for $VCS" >&2 fi diff --git a/etckeeper.conf b/etckeeper.conf index 639c77b..f988c10 100644 --- a/etckeeper.conf +++ b/etckeeper.conf @@ -38,5 +38,6 @@ HIGHLEVEL_PACKAGE_MANAGER=apt LOWLEVEL_PACKAGE_MANAGER=dpkg # To push each commit to a remote, put the name of the remote here. -# (eg, "origin" for git). +# (eg, "origin" for git). Space-separated lists of multiple remotes +# also work (eg, "origin gitlab github" for git). PUSH_REMOTE="" |