File tree Expand file tree Collapse file tree 1 file changed +6
-0
lines changed
Expand file tree Collapse file tree 1 file changed +6
-0
lines changed Original file line number Diff line number Diff line change @@ -36,29 +36,35 @@ jobs:
3636 rm -rf node_modules package-lock.json package.json
3737
3838 - name : Check for changes
39+ id : check_changes
3940 run : |
4041 git add badges.json
4142 if git diff --cached --quiet; then
4243 echo "No changes detected."
44+ echo "skip=true" >> $GITHUB_ENV
4345 exit 0
4446 fi
4547
4648 - name : Set Git user identity
49+ if : env.skip != 'true'
4750 run : |
4851 git config --local user.name "GitHub Actions Bot"
4952 git config --local user.email "[email protected] " 5053
5154 - name : Create a new branch for the PR
55+ if : env.skip != 'true'
5256 run : |
5357 git checkout -b update-badges-${{ github.run_id }}
5458 git commit -m "Update badges.json with latest release URLs"
5559
5660 - name : Push the new branch
61+ if : env.skip != 'true'
5762 env :
5863 GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
5964 run : git push origin HEAD
6065
6166 - name : Create a pull request
67+ if : env.skip != 'true'
6268 uses : peter-evans/create-pull-request@v5
6369 with :
6470 token : ${{ secrets.GITHUB_TOKEN }}
You can’t perform that action at this time.
0 commit comments