commit d0b02a7dbb5206260e57b99b3e67f2d9e4540d9f parent 48a7d68568e03c12999b98a47502954535e2707b Author: minerva-jupiter <ryouturn@gmail.com> Date: Thu, 17 Apr 2025 20:03:13 +0900 origin? Diffstat:
| M | .github/workflows/PRbuild.yaml | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/PRbuild.yaml b/.github/workflows/PRbuild.yaml @@ -24,5 +24,5 @@ jobs: git config user.email "<>" git add main.pdf git commit -m "Add PDF to PR" - git push + git push origin HEAD:refs/pull/${{ github.event.pull_request.number }}/merge