関連ワード:  github delete pr history    git delete pull request history    github delete all history  
結果 : github delete pr history