diff --git a/devtools/gerrit/entrypoint.sh b/devtools/gerrit/entrypoint.sh index f3032635..fe903a07 100755 --- a/devtools/gerrit/entrypoint.sh +++ b/devtools/gerrit/entrypoint.sh @@ -18,6 +18,8 @@ rm -f /var/gerrit/etc/secure.config cp /var/gerrit-secure/secure.config /var/gerrit/etc/secure.config cp /var/gerrit-plugins/* /var/gerrit/plugins/ +mkdir -p /var/gerrit/hooks/ +cp /var/gerrit-hooks/* /var/gerrit/hooks/ mkdir -p /var/gerrit/static cp -r /var/gerrit-theme/*png /var/gerrit/static/ diff --git a/devtools/gerrit/hooks/ref-updated b/devtools/gerrit/hooks/ref-updated new file mode 100755 index 00000000..943aec85 --- /dev/null +++ b/devtools/gerrit/hooks/ref-updated @@ -0,0 +1,21 @@ +#!/usr/bin/env bash +set -e + +# This will be ran by Gerrit any time a new Git commit is pushed, and will make +# Forgejo pull our changes. + +if [ -z "$FORGEJO_TOKEN" ]; then + echo "FORGEJO_TOKEN must be set" > /dev/stderr + exit 1 +fi + +# The gerrit image has no curl. But where we're going, we don't need curl. +auth="$(echo -ne "gerrit:$FORGEJO_TOKEN" | base64)" +openssl s_client -quiet -crlf -connect git.hackerspace.pl:443 <