Buildkite: Fix daily update git push
commitad7c7ab4ef1d37872354013e9a2e65bdfbd5b11c
authorRodney Lorrimar <rodney.lorrimar@iohk.io>
dateWed 3 Apr 2019, 12:35 (8 years ago)
parentf31273e
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 ''