File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 77
88permissions :
99 contents : write
10- pull-requests : read
10+ pull-requests : write
1111 issues : read
1212
1313jobs :
@@ -31,17 +31,13 @@ jobs:
3131 const script = require('./.github/scripts/generateLeaderboard.js');
3232 await script({ github, context });
3333
34- - name : Commit leaderboard
35- run : |
36- git config user.name "github-actions[bot]"
37- git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
38-
39- git add apps/web/public/leaderboard.json
40-
41- if git diff --staged --quiet; then
42- echo "No changes to commit"
43- exit 0
44- fi
45-
46- git commit -m "chore: update leaderboard"
47- git push
34+ - name : Create Pull Request
35+ uses : peter-evans/create-pull-request@v6
36+ with :
37+ token : ${{ secrets.GITHUB_TOKEN }}
38+ commit-message : " chore: update leaderboard"
39+ title : " chore: update leaderboard"
40+ body : " Automated update of contributor leaderboard data."
41+ branch : " automation/leaderboard-update"
42+ base : " main"
43+ delete-branch : true
You can’t perform that action at this time.
0 commit comments