関連ワード:  github delete pull request history    github delete history    github delete closed pull request    github permanently delete pull request    github delete branch after pull request  
結果 : github delete pull request history