run

#!/usr/bin/env nix-shell
#!nix-shell -i bash -p git openssh
# vi: ft=sh
# shellcheck shell=bash


set -euo pipefail

# Set up SSH
eval "$(ssh-agent -s)"
echo "${SSH_PRIVATE_KEY}" | tr -d '\r' | ssh-add - > /dev/null
unset SSH_PRIVATE_KEY

# Set up git
git config user.name "GitLab CI"
git config user.email "gitlab-ci@helsinki-systems.de"
git remote rm origin || :
git remote add origin git@"${CI_SERVER_HOST}":"${CI_PROJECT_PATH}"
export GIT_SSH_COMMAND="ssh -oStrictHostKeyChecking=no -oUserKnownHostsFile=/dev/null"

# Switch to correct branch
git fetch origin data
git checkout data
git reset --hard origin/data

# Generate data
ulimit -n 16384
target/release/typo3nix

if [[ "${TYPO3NIX_TEST_MODE:-}" = 1 ]]; then
	exit 0
fi

# Do we need to commit anything?
if ! git status --porcelain | grep -q "extensions.json"; then
	echo "Nothing changed"
	exit 0
fi

# Commit and push
git add extensions.json
git commit -m "Automatic extensions.json update"
git push -o ci.skip origin data