ci: add comment if can't be auto fixed

.github/workflows/lint.yml

@@ -2,7 +2,10 @@ name: Lint
 
 on: workflow_call
 
-permissions: write-all
+permissions:
+  contents: write
+  pull-requests: write
+  repository-projects: write
 
 jobs:
   prettier:
@@ -32,10 +35,23 @@ jobs:
         if: steps.prettier_check.outputs.PRETTIER_EXIT_CODE == 1
         run: npm run prettify
       - name: Commit and push changes
+        continue-on-error: true
         if: ${{ success() && steps.prettier_run.conclusion == 'success' }}
         run: |
           git config --global --add safe.directory "$GITHUB_WORKSPACE"
           git config user.name 'github-actions[bot]'
           git config user.email 'github-actions[bot]@users.noreply.github.com'
           git commit -am "chore: run prettier"
           git push origin HEAD:${{ github.event.pull_request.head.ref }}
+      - name: Post commit if push can not be performed
+        if: ${{ failure() }}
+        uses: actions/github-script@v6
+        with:
+          github-token: ${{secrets.GITHUB_TOKEN}}
+          script: |
+            github.rest.issues.createComment({
+              issue_number: context.issue.number,
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              body: "It looks like you forgot to run Prettier, and we can't do it for you automatically. Please run `npm run prettify` and commit the changes."
+            })