File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1313 - name : Checkout repository
1414 uses : actions/checkout@v3
1515 with :
16- persist-credentials : false # We’ll provide credentials manually
16+ persist-credentials : false
1717
1818 - name : Setup Git identity
1919 run : |
@@ -25,12 +25,12 @@ jobs:
2525 echo "Replacing all 0.1.3 → 0.2.0 in text/code files only..."
2626 find . -type f ! -path "*/.git/*" ! -path "*/.github/*" -print0 | while IFS= read -r -d '' file; do
2727 if file --mime "$file" | grep -q 'charset='; then
28- perl -pi -e 's/(^|[^0-9])0\.1\.3([^0-9]|$)/$1 .2.0$2 /g' "$file"
28+ perl -pi -e 's/(^|[^0-9])0\.1\.3([^0-9]|$)/${1}0 .2.0${2} /g' "$file"
2929 fi
3030 done
3131
3232 - name : Commit & push changes
3333 run : |
3434 git add .
35- git diff --cached --quiet || git commit -m "Text-safe update: 0.1.3 → 0.2.0"
35+ git diff --cached --quiet || git commit -m "Text-safe update: 0.1.3 → 0.2.0 [skip ci] "
3636 git push "https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.git" HEAD:${GITHUB_REF#refs/heads/}
You can’t perform that action at this time.
0 commit comments