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