简体繁体 English

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

[英]How to delete binary file from pull request on GitHub?

原文 2020-01-18 19:45:49 9 1 git/ github/ merge/ pull-request

I received a pull request for my GitHub project.我收到了我的 GitHub 项目的拉取请求。 This pull request includes some unneeded files so I would like to delete them.这个拉取请求包含一些不需要的文件，所以我想删除它们。 It's a pretty straightforward procedure for text files:对于文本文件，这是一个非常简单的过程：

Go to pull request转到拉取请求
Switch to Files changed tab切换到Files changed选项卡
Click ... and Delete file单击...并Delete file
Commit the change提交更改

However, the Delete file option seems to be unavailable for binary files .但是， Delete file选项似乎对二进制文件不可用。

Is it a GitHub bug, GitHub web interface limitation or something?是 GitHub 错误、GitHub Web 界面限制还是什么？ What is the proper way to delete a binary file from an incoming pull request?从传入的拉取请求中删除二进制文件的正确方法是什么？

1 个解决方案

I mentioned that feature back in July 2018 (see documentation ).我早在 2018 年 7 月就提到过该功能（请参阅文档）。

But if this is not working/available, simply leave a comment on the pull request, for the developer having pushed said pull request to delete the file on their local cloned fork , and push a new commit to their pull request branch.但是，如果这不起作用/不可用，只需对拉取请求发表评论，因为开发人员已推送所述拉取请求以删除其本地克隆 fork 上的文件，并将新提交推送到他们的拉取请求分支。
That will update the PR, which won't show that file anymore.这将更新 PR，它将不再显示该文件。