В конце правильная мысль. Не стоит хранить ветку, которая уже слита в мастер. Толку от неё никакого. Если хочется что-то изменить вдогонку, то создавайте новую тематическую ветку lab-0-fix от актуального мастера и работайте там. Старые коммиты, которые уже отправлены в общий проект, их не надо пытаться переписывать. Ведь важен конечный результат а не красивая история. Мы улучшаем финальный код, а не коммиты.
Добавляем новые коммиты в конец цепочки коммитов на вершине ветки.
gera7, commited и pushed это две большие разницы. Время коммита конечно можно поменять, путём пересоздания коммита. Т. е. по факту тоже нельзя, так как это будет уже новый другой коммит))
Значок с минусом означает что файл удалён. А раз программа это показывает, значит файл ранее был добавлен в репозиторий, иначе откуда бы ей знать об этом? Всё у тебя работает на самом деле, просто файл таки надо удалить из репозитория в любом случае. Добавление в игнор это не удаление.
Василий Банников, наверное лучше удалять через git rm --cached
Чтобы они удалились только из репозитория, но остались в рабочем каталоге.
И коммитить нужно не только изменения gitignore, но и факт удаления тех файлов.
Добавляем новые коммиты в конец цепочки коммитов на вершине ветки.