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