on iko/ghcjs-patch-master help sign in
Buildkite: Fix daily update git push
ad7c7abRodney Lorrimar
scripts/update-pins.nix+3−1
@@ -22,5 +22,7 @@ in
22
22
23 use_ssh_key ${sshKey}
23 use_ssh_key ${sshKey}
24
24
25+ if [ "$BUILDKITE_BRANCH" = master ]; then
25− git push ${repo}
26+ git push ${repo} HEAD:master
27+ fi
26 ''
28 ''