Use github cli directly to create PRs

Author: jasonkarns

.github/workflows/definitions.yml

@@ -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
+      - run: gh pr create --fill --title "$PR_TITLE"
+        env:
+          GH_TOKEN: ${{ secrets.BOT_TOKEN }}
+          PR_TITLE: "Scraped latest definitions"