Я зафиксировал и отправил какой-то каталог на github. После этого я изменил .gitignoreфайл, добавив каталог, который следует игнорировать. Все работает нормально, но каталог (теперь игнорируемый) остается на github. Как мне удалить этот каталог из github и истории...