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