ci: Update devbox update workflow

Author: jimmidyson

.envrc

@@ -1,10 +1,6 @@
 # Automatically sets up your devbox environment whenever you cd into this
 # directory via our direnv integration:
 
-strict_env
-
-export DEVBOX_NO_ENVRC_UPDATE=1
-
 eval "$(devbox generate direnv --print-envrc --env-file .dev-envrc)"
 
 # check out https://www.jetpack.io/devbox/docs/ide_configuration/direnv/

.github/workflows/devbox-update.yaml

@@ -6,7 +6,7 @@ name: devbox-update
 on:
   workflow_dispatch:
   schedule:
-    - cron: "0 0 * * *"
+    - cron: "0 0 * * 1"
 
 permissions:
   contents: write
@@ -56,4 +56,7 @@ jobs:
             --field branch="${DESTINATION_BRANCH}" \
             --field sha="${SHA}"
 
-          gh pr create --base "${{ github.ref_name }}" --head "${DESTINATION_BRANCH}" --fill
+          gh api --method POST "/repos/:owner/:repo/pulls" \
+            --field title="${MESSAGE}" \
+            --field head="${DESTINATION_BRANCH}" \
+            --field base="${{ github.ref_name }}"