Я удалил набор файлов с моей локальной машины для разработки, однако они не удаляются на GitHub и, таким образом, снова отображаются на моей рабочей машине при развертывании.
Как я могу принудительно удалить эти файлы в следующем коммите?
Самое простое - использовать git add -u
Он удалит файлы, которые были вручную удалены из ваших файлов git. Просто commit и push обычно после этого.
commit
push
Ознакомьтесь с шпаргалками для других команд git.
А также проверьте этот поток: git rm несколько файлов, которые уже были удалены с диска
Вы можете использовать файл git rm или файл git rm -f, если вы уже удалили файл, который вы должны зафиксировать после этого
см. http://www.kernel.org/pub/software/scm/git/docs/git-rm.html для получения более подробной информации о git rm