aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKylie McClain <kylie@somas.is>2020-07-04 17:28:54 -0400
committerKylie McClain <kylie@somas.is>2020-07-04 17:34:15 -0400
commitcb4af7cdca834348aaddb46b0cc702b2125be4cf (patch)
tree81ee5986ed94f54629c3949bfbea88300bf42818
parent67a93b1e026a941dbe23cf811c1b2968b6d83e4d (diff)
downloadgitolite-admin-cb4af7cdca834348aaddb46b0cc702b2125be4cf.tar.gz
gitolite-admin-cb4af7cdca834348aaddb46b0cc702b2125be4cf.tar.xz
gitolite-admin-cb4af7cdca834348aaddb46b0cc702b2125be4cf.zip
gitolite: deploy-mutiny-site when repos used in the site change
-rwxr-xr-xlocal/hooks/repo-specific/deploy-mutiny-site6
1 files changed, 6 insertions, 0 deletions
diff --git a/local/hooks/repo-specific/deploy-mutiny-site b/local/hooks/repo-specific/deploy-mutiny-site
index 3f1ae3a..ea3e4d4 100755
--- a/local/hooks/repo-specific/deploy-mutiny-site
+++ b/local/hooks/repo-specific/deploy-mutiny-site
@@ -3,6 +3,12 @@
backtick -n tempdir { mktemp -d }
importas -u tempdir tempdir
+export COMBINES "
+ /srv/git/repositories/mutiny/idioms.git
+ /srv/git/repositories/mutiny/filesystem.git
+ /srv/git/repositories/mutiny/praxis.git
+"
+
if { git clone -q /srv/git/repositories/mutiny/docs.git "${tempdir}"/ }
if { make -C "${tempdir}" -s site }
if { rsync -ru --del "${tempdir}"/site/generated/ deploy@angela.somas.is:/srv/www/mutiny.red/ }