関連ワード:  github actions pull request merge commit    github remove merge commit    github delete pushed commit    github actions get pull request number  
結果 : github actions pull request merge commit