ci: use pr for bot push

katrinafyi · Dec 23, 2024 · 6ce0106 · 6ce0106
1 parent 0c786c1
commit 6ce0106
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -134,4 +134,8 @@ jobs:
 
         for f in prev-patches/*; do git am "$f"; done
 
-    - run: git push
+    - run: |
+        git checkout -b bot-${{ github.run_number }}
+        git push
+        gh pr create --fill-verbose
+        gh pr merge --auto --delete-branch