関連ワード:  github action check if pull request is merged    github actions get pull request number    github actions pull request number  
結果 : github action check if pull request is merged