関連ワード:  github delete merged pull request    git delete merged pull request    github delete merge request    git delete merge request    github delete branch after pull request    github delete closed pull request  
結果 : github delete merged pull request