Как удалить двоичный файл из pull-запроса на GitHub?

Question

Я получил запрос на извлечение для моего проекта GitHub. Этот запрос включает в себя некоторые ненужные файлы, поэтому я хотел бы удалить их. Это довольно простая процедура для текстовых файлов:

• Go для получения запроса
• Переключение на вкладку Files changed
• Нажмите ... и Delete file
• Подтвердить изменение

Однако опция Delete file, по-видимому, недоступна для двоичных файлов .

Это ошибка GitHub , Ограничение веб-интерфейса GitHub или что-то? Как правильно удалить двоичный файл из входящего запроса извлечения?

Answer 1

Я упомянул, что функция появилась еще в июле 2018 года (см. документация ).

Но если это не работает / не доступно, просто оставьте комментарий на запрос запрос, чтобы разработчик нажал указанный запрос на удаление , удалил файл на своей локальной клонированной вилке , и pu sh сделал новый коммит в своей ветви запроса на получение.
Это обновит PR, который больше не будет показывать этот файл.