Merge pull request #567 from github/jibrang/fix-permissions-issue

Add permissions to workflow

Author: jibrang

.github/workflows/check-dist.yml

@@ -4,6 +4,9 @@
 # For our project, we generate this file through a build process from other source files.
 # We need to make sure the checked-in `index.js` actually matches what we expect it to be.
 name: Check dist/
+permissions:
+  contents: read
+  pull-requests: write
 
 on:
   push: