Grant permissions required by nested pipeline, on push-dev.yml (#874)

eljog · web-flow · commit 5b8866c7b3a8 · 2023-12-05T11:49:45.000-08:00
diff --git a/.github/workflows/push-dev.yml b/.github/workflows/push-dev.yml
@@ -7,6 +7,8 @@ on:
 
 permissions:
   id-token: write
+  contents: write
+  pull-requests: write
 
 jobs:
   build-and-push:
