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