ci: Use HEAD:main instead of main

This commit is contained in:
kat witch 2021-05-20 00:20:40 +01:00
parent 67f749c1dd
commit a07bedd8a0
No known key found for this signature in database
GPG key ID: 1B477797DCA5EC72

View file

@ -85,7 +85,7 @@ with lib; {
git commit --message="ci: niv update"
if [[ $GITHUB_REF = refs/heads/main ]]; then
GIT_SSH_COMMAND="ssh -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no" \
git push ssh://gitea@git.kittywit.ch:62954/kat/nixfiles.git main
git push ssh://gitea@git.kittywit.ch:62954/kat/nixfiles.git HEAD:main
fi
fi