#!/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 <<EOF
POST /api/v1/repos/hswaw/hscloud/mirror-sync HTTP/1.1
Host: git.hackerspace.pl
Authorization: Basic $auth
Content-length: 0
Connection: Close

EOF