on iko/ghcjs-patch-master help sign in
Merge pull request #104 from input-output-hk/rvl/fix-daily-update

Buildkite: Fix daily update git push

commit51b633ac4ffcba6539c35ce9f50b79b107f77c93 authorRodney Lorrimar <dev@rodney.id.au> dateThu 4 Apr 2019, 08:35 (8 years ago) parentf31273ead7c7ab
1 file changed+3−1
scripts/update-pins.nix+3−1
scripts/update-pins.nix+3−1
@@ -22,5 +22,7 @@ in
2222
2323 use_ssh_key ${sshKey}
2424
25− git push ${repo}
25+ if [ "$BUILDKITE_BRANCH" = master ]; then
26+ git push ${repo} HEAD:master
27+ fi
2628 ''