Там какой-либо путь состоит в том, чтобы удалить файл с помощью мерзавца gui, затем фиксируют и продвигают?
Не напрямую, поскольку git gui
- это больше о:
предоставлении пользователям возможности вносить изменения в репозиторий, делая новые коммиты, изменяя существующие, создавая ветви, выполняя локальное слияние и получая/отправляя в удалённые репозитории
Расширение вроде TortoiseGit позволит выполнить git rm
в графическом виде.