Use checkout v4 and give write permission

.github/workflows/lint.yml

@@ -5,10 +5,16 @@ on:
     branches: [ "main" ]
     types: [opened, labeled, unlabeled, synchronize]
 jobs:
-  format:
+  format-code:
     runs-on: ubuntu-latest
+
+    permissions:
+      # Give the default GITHUB_TOKEN write permission to commit and push the
+      # added or changed files to the repository.
+      contents: write
+
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           token: ${{ secrets.BOT_TOKEN || github.token }}
           # check out HEAD on the branch