Как удалить ненужную папку в проекте на github?

Question

[sergey]

Собственно проблема в следующем, случайно запушил на github папку dist (чистил gitignore).
Как ее теперь правильно удалить с github?

Answer 1

[aol-nnov]

либо удали в следующем коммите и запущи заново, либо с форсом, но это имеет побочные эффекты

Comments

[sergey]

вопрос как ее удалить в next commit?

[aol-nnov]

SM: ниже написано - через git rm

[sergey]

aol-nnov: спасибо, я уже разобрался

Answer 2

[Victor]

Для удаления папки или файла можно воспользоваться командой git rm.
Чтобы не удалять папку локально можно сделать git rm -r --cached myFolder

Answer 3

[Евгений Вольф]

Не оно?