@@ -21,11 +21,12 @@ jobs:
2121 # this is important so git log can pick up on
2222 # the whole history to generate the list of AUTHORS
2323 fetch-depth : " 0"
24+ token : ${{ secrets.SVC_DEVTOOLSBOT_TOKEN }}
2425
2526 - name : Set up Git
2627 run : |
27- git config --local user.email "41898282+github-actions[bot] @users.noreply.github.com"
28- git config --local user.name "github-actions[bot] "
28+ git config --local user.email "devtoolsbot @users.noreply.github.com"
29+ git config --local user.name "devtoolsbot "
2930
3031 - uses : actions/setup-node@v4
3132 with :
4445 - name : Update THIRD_PARTY_NOTICES.md
4546 run : |
4647 npm run update-third-party-notices
47- git commit --no-allow-empty -m "chore: update THIRD_PARTY_NOTICES" THIRD_PARTY_NOTICES .md || true
48+ git add THIRD_PARTY_NOTICES.md
4849
4950 - name : Update AUTHORS
5051 run : |
7374 npm run update-cli-usage-text packages/*/*.md *.md
7475 git add packages/*/*.md *.md
7576
76- - name : Create pull request
77- id : cpr
78- uses : peter-evans/create-pull-request@v6
79- with :
80- commit-message : Update auto-generated files
81- branch : ci/cron-tasks-update-files
82- title : " chore: update auto-generated files"
83- body : |
84- - Update auto-generated files
85-
86- - name : Merge PR
87- env :
88- PULL_REQUEST_NUMBER : ${{steps.cpr.outputs.pull-request-number}}
89- # NOTE: we don't use a PAT so to not trigger further automation
90- GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
77+ - name : Commit and push
9178 run : |
92- gh pr merge $PULL_REQUEST_NUMBER --squash --delete-branch
79+ git commit --no-allow-empty -m "chore: update auto-generated files" || true
80+ git push
0 commit comments