fix: Add permissions block and remove push triggers

Co-Authored-By: AJ Steers <[email protected]>

Author: devin-ai-integration[bot]

.github/workflows/actionlint.yml

@@ -1,15 +1,14 @@
 name: GitHub action linting
 
 on:
-  push:
-    branches:
-      - main
-    paths:
-      - '.github/workflows/**'
   pull_request:
     paths:
       - '.github/workflows/**'
 
+permissions:
+  contents: read
+  pull-requests: write
+
 jobs:
   actionlint:
     name: actionlint