update push workflow permissions

.github/workflows/push.yaml

@@ -8,6 +8,8 @@ on:
 jobs:
   format:
     runs-on: ubuntu-20.04
+    permissions:
+      contents: write
     steps:
       - name: Checkout
         uses: actions/checkout@v4