fix(ci): do not use a name when logging in #6

Merged
jalil merged 1 commit from push-porontoqpvvt into main 2024-10-12 22:19:19 +02:00

View file

@ -21,7 +21,7 @@ jobs:
- run: nix run .#cargo-update
- name: craft PR body and commit message
run: |
set -euo pipefail
set -xeuo pipefail
echo "${COMMIT_MESSAGE}" > commit.txt
cat cargo_update.log >> commit.txt
@ -32,7 +32,7 @@ jobs:
echo '```' >> body.md
- name: commit
run: |
set -euo pipefail
set -xeuo pipefail
git config user.name forgejo-actions
git config user.email forgejo-actions@salame.cl
@ -40,13 +40,13 @@ jobs:
git add ./Cargo.lock
DIFF="$(git diff --staged)"
if [[ "$DIFF" == "" ]]; then
echo >2 "Cargo.lock was not changed, bailing out and not making a PR"
echo "Cargo.lock was not changed, bailing out and not making a PR"
exit 1
fi
git commit --no-verify --file=commit.txt
- name: push
run: |
set -euo pipefail
set -xeuo pipefail
git push --no-verify --force --set-upstream origin "$BRANCH_NAME"
- name: open new pull request
env:
@ -57,6 +57,6 @@ jobs:
# GITHUB_TOKEN: ${{ secrets.DEPS_UPDATER_GITHUB_TOKEN }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
set -euo pipefail
tea login add --name "forgejo-actions" --token "$GITHUB_TOKEN"
set -xeuo pipefail
tea login add --token "$GITHUB_TOKEN"
tea pr create --title "${PR_TITLE}" --description "$(cat body.md)" --repo "$GITHUB_REPOSITORY"