CI: work in detached HEAD mode

This commit is contained in:
Max Headroom 2022-01-30 23:54:22 +00:00
parent c580ac97b6
commit 9dde198a49

View file

@ -6,4 +6,4 @@ update:
- git config user.name "CI" - git config user.name "CI"
- git commit -m '[CI] Update extensions' || exit 0 - git commit -m '[CI] Update extensions' || exit 0
- git remote add pushback gitlab@git.privatevoid.net:max/nix-crx.git - git remote add pushback gitlab@git.privatevoid.net:max/nix-crx.git
- GIT_SSH_COMMAND="ssh -i $PUSHBACK_KEY" git push pushback master - GIT_SSH_COMMAND="ssh -i $PUSHBACK_KEY" git push pushback :master