Preparation for 4.0.2

.github/workflows/push.yml

@@ -19,8 +19,15 @@ jobs:
     runs-on: ubuntu-24.04
     name: Checks syntax of our code
     permissions:
+      # contents permission to clone the repository
       contents: read
       packages: read
+      # issues and pull-requests permissions to write results as pull
+      # request comments. Omit them if you don't need summary comments
+      issues: write
+      pull-requests: write
+      # To report GitHub Actions status checks. Omit if you don't need
+      # to update commit status
       statuses: write
     steps:
       - uses: actions/checkout@v6