如何从 GitHub 的拉取请求中删除二进制文件?

How to delete binary file from pull request on GitHub?

我收到了 GitHub 项目的拉取请求。此拉取请求包含一些不需要的文件,因此我想删除它们。对于文本文件,这是一个非常简单的过程:

但是,Delete file 选项似乎对二进制文件不可用

是 GitHub 错误,GitHub 网络界面限制还是什么?从传入的拉取请求中删除二进制文件的正确方法是什么?

我提到过 feature back in July 2018 (see documentation).

但如果这不是 working/available,只需在拉取请求上留下评论,因为开发人员已将所述拉取请求推送到 delete the file on their local cloned fork,并将新提交推送到他们的拉取请求分支.
这将更新 PR,它将不再显示该文件。