Use github cli directly to create PRs

Author: jasonkarns

.github/workflows/definitions.yml

@@ -7,7 +7,7 @@ permissions: {}
 jobs:
   scrape:
     runs-on: ubuntu-latest
-    permissions: { contents: read }
+    permissions: { contents: write }
     steps:
       - uses: step-security/harden-runner@ec9f2d5744a09debf3a187a3f4f675c53b671911 # v2.13.0
         with: { egress-policy: audit }
@@ -22,10 +22,8 @@ jobs:
           GIT_COMMITTER_NAME: ${{ vars.GHA_BOT_NAME }}
           GIT_COMMITTER_EMAIL: ${{ vars.GHA_BOT_EMAIL }}
 
-      - run: git log --format='- %s' --reverse ${{github.sha}}.. >> ${{ runner.temp }}/pr-body
-      - uses: peter-evans/create-pull-request@271a8d0340265f705b14b6d32b9829c1cb33d45e # v7.0.8
-        with:
-          token: ${{ secrets.BOT_TOKEN }}
-          branch: latest-scraped-definitions
-          title: "Scraped latest definitions"
-          body-path: ${{ runner.temp }}/pr-body
+      - run: git checkout -b scrape/latest-definitions && git push -u origin HEAD
+      - run: gh pr create --fill --title "$PR_TITLE"
+        env:
+          GH_TOKEN: ${{ secrets.BOT_TOKEN }}
+          PR_TITLE: "Scraped latest definitions"