CI: set git name
This commit is contained in:
parent
1c315b0ecf
commit
c580ac97b6
1 changed files with 2 additions and 0 deletions
|
@ -2,6 +2,8 @@ update:
|
||||||
script:
|
script:
|
||||||
- nix shell github:NixOS/nixpkgs/nixos-unstable#python3 -c python3 update.py
|
- nix shell github:NixOS/nixpkgs/nixos-unstable#python3 -c python3 update.py
|
||||||
- git add .
|
- git add .
|
||||||
|
- git config user.email "ci@privatevoid.net"
|
||||||
|
- 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
|
||||||
|
|
Loading…
Reference in a new issue