@@ -672,6 +672,8 @@ jobs:
672672 runs-on : [self-hosted, nixos]
673673 needs : [push-to-cachix]
674674 if : ${{ github.ref == 'refs/heads/main' && !github.event['codetracer-ci'] }}
675+ permissions :
676+ contents : " write"
675677 steps :
676678 - name : Checkout
677679 uses : actions/checkout@v5
@@ -686,11 +688,20 @@ jobs:
686688 trusted-public-keys : ${{ vars.TRUSTED_PUBLIC_KEYS }}
687689 substituters : ${{ vars.SUBSTITUTERS }}
688690
689- - run : " nix develop .#devShells.x86_64-linux.default --command ./ci/deploy/docs.sh"
691+ - run : |
692+ git config user.name "github-actions[bot]"
693+ git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
694+ git config init.defaultBranch main
695+
696+ git remote set-url origin https://x-access-token:${{ secrets.CODETRACER_PUSH_GITHUB_TOKEN }}@github.com/metacraft-labs/codetracer
697+
698+ nix develop .#devShells.x86_64-linux.default --command ./ci/deploy/docs.sh
690699
691700 push-tag :
692701 runs-on : [ self-hosted, nixos ]
693702 needs : [ dev-build, nix-build, appimage-build, dmg-build ]
703+ permissions :
704+ contents : " write"
694705 outputs :
695706 tag : ${{ steps.tag.outputs.tag }}
696707 steps :
@@ -713,9 +724,9 @@ jobs:
713724 MONTH=$(bash -c "printf '%02d' \$(grep \"CodeTracerMonth\*\" src/ct/version.nim | sed \"s/.*CodeTracerMonth\* = //g\")")
714725 BUILD=$(bash -c 'grep "CodeTracerBuild\*" src/ct/version.nim | sed "s/.*CodeTracerBuild\* = //g"')
715726
716- git config --global user.name "github-actions[bot]"
717- git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
718- git config --global init.defaultBranch main
727+ git config user.name "github-actions[bot]"
728+ git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
729+ git config init.defaultBranch main
719730
720731 git remote set-url origin https://x-access-token:${{ secrets.CODETRACER_PUSH_GITHUB_TOKEN }}@github.com/metacraft-labs/codetracer
721732
0 commit comments