CI: ignore preexisting remote

This commit is contained in:
Max Headroom 2022-01-30 23:55:03 +00:00
parent 9dde198a49
commit 8d7fa52274

View file

@ -5,5 +5,5 @@ update:
- git config user.email "ci@privatevoid.net"
- git config user.name "CI"
- 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 || true
- GIT_SSH_COMMAND="ssh -i $PUSHBACK_KEY" git push pushback :master