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