src/infrastructure/ci/git-pre-receive.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#!/bin/sh
set -eu

read -r _oldrev SHA _refname
unset GIT_DIR

if [ "$SHA" = '0000000000000000000000000000000000000000' ]; then
	exit
fi

printf 'Upgrading post-receive hook...' >&2
git show "$SHA":src/infrastructure/ci/git-post-receive.sh > hooks/post-receive
chmod +x hooks/post-receive
printf 'done.\n' >&2