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