GitHub Action で PR に何かして push する - 宇宙行きたい先に結論 - uses: actions/checkout@v2 with: ref: ${{ github.event.pull_request.head.ref }} やったこと PR に対して特定の実行してそのPRにコミットしたい。 例えば code format とか まぁ、最初 main とかでやるように雑にやってみた - name: Commit updated files run: | if ! git diff --exit-code --quiet then git add . git config --local user.email "nobody@example.com" git config --local user.name "File Update GitHub Workflow" git commit -m "Update Files" git push f
