関連ワード:  github actions pull request merge branch    github delete branch after pull request  
結果 : github actions pull request merge branch