関連ワード:  github actions push pull_request    github actions push vs pull_request    github actions pull request push duplicate    github actions trigger on push to pull request    github actions check if push or pull request    github actions run on push or pull request    github actions create pull request on push    github actions get pull request number on push    steps in github actions    github commit vs push