update permissions in workflows

Author: puredanger

.github/workflows/check.yml

@@ -1,6 +1,7 @@
+name: Check download via setup-clojure
+
 permissions:
   contents: read
-name: Check download via setup-clojure
 
 on:
   workflow_dispatch:

.github/workflows/promote.yml

@@ -1,5 +1,8 @@
 name: Promote dev to stable
 
+permissions:
+  contents: write
+
 on: [workflow_dispatch]
 
 permissions:        # Exchange the OIDC token (JWT) for a cloud access token

.github/workflows/release.yml

@@ -1,5 +1,8 @@
 name: Release dev version
 
+permissions:
+  contents: write
+
 on: [workflow_dispatch]
 
 permissions:        # Exchange the OIDC token (JWT) for a cloud access token