ci: add comment if can't be auto fixed

.github/workflows/lint.yml

@@ -32,10 +32,22 @@ 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:
+          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."
+            })