Add permissions to the push-dist workflow

Default new github repos don't have write contents permissions on github tokens

Author: kategengler

files/.github/workflows/push-dist.yml

@@ -14,6 +14,8 @@ on:
 jobs:
   push-dist:
     name: Push dist
+    permissions:
+      contents: write
     runs-on: ubuntu-latest
     timeout-minutes: 10