関連ワード:  github workflow on pull request closed    github delete closed pull request  
結果 : github workflow on pull request closed