関連ワード:  github actions check if push or pull request    push vs pull in github    github actions get pull request number    push command in github    pull request types github actions  
結果 : github actions check if push or pull request