Sync all projects

2026-07-09 02:58:52 +00:00
parent 7e1a41d6d5
commit aea13108bd
17 changed files with 6182 additions and 4550 deletions
@@ -77,5 +77,5 @@ jobs:
      with:
        token: ${{ secrets.GITHUB_TOKEN }}
        branch: ${{ github.ref }}
-        # pull: rebase   # pull --rebase before push; also accepts: merge | ff-only | true
+        pull: rebase   # pull --rebase before push; also accepts: merge | ff-only | true