fix: Undo bot check

This commit is contained in:
2026-06-16 16:55:11 +02:00
parent 08f1ca4694
commit d407c2ef68
-14
View File
@@ -113,20 +113,6 @@ runs:
}
EOF
- name: Pin origin remote to the provided token
shell: bash
env:
GITEA_TOKEN: ${{ inputs.gitea-token }}
run: |
nix-shell -p git gnused coreutils --run '
set -o pipefail
set -o nounset
set -o errexit
# Push as the real user behind GITEA_TOKEN, not the checkout token (uid -2).
host_path="$(git remote get-url origin | sed -E "s#^https?://([^@]*@)?##")"
git remote set-url origin "https://oauth2:${GITEA_TOKEN}@${host_path}"
'
- name: Run semantic-release
id: semantic
shell: bash