関連ワード:  github pull request delete source branch    git merge request delete source branch    github delete branch after pull request    how do i delete a pull request in github  
結果 : github pull request delete source branch