関連ワード:  github actions pull request push duplicate    push vs pull in github    pull request types github actions    github actions get pull request number  
結果 : github actions pull request push duplicate