force push

Author: jasonkarns

.github/workflows/definitions.yml

@@ -24,8 +24,8 @@ jobs:
           GIT_COMMITTER_NAME: ${{ vars.GHA_BOT_NAME }}
           GIT_COMMITTER_EMAIL: ${{ vars.GHA_BOT_EMAIL }}
 
-      - run: git checkout -b scrape/latest-definitions && git push -u origin HEAD
-      - run: gh pr create --fill --title "$PR_TITLE"
+      - name: git push
+        run: git checkout -b scrape/latest-definitions && git push -fu origin HEAD
+      - run: gh pr create --fill -t "Scraped definitions"
         env:
           GH_TOKEN: ${{ secrets.BOT_TOKEN }}
-          PR_TITLE: "Scraped latest definitions"