関連ワード:  github permanently delete pull request    github completely delete pull request    github delete closed pull request    can you delete a pull request  
結果 : github permanently delete pull request