В удаленный репозиторий git случайно попал ненужный файл, как удалить?

В удаленный репозиторий git случайно попал ненужный файл. Дело в том, что я по своей неопытности переименовал файл demo.sqlite в db.sqlite. Теперь в удаленном репозитории хранятся два одинаковых файла с разными именами. Как удалить? Как избегать подобных неопытностей? Нужен верный хак на такой случай.
  • Вопрос задан
  • 11347 просмотров
Решения вопроса 1
jcmvbkbc
@jcmvbkbc
"I'm here to consult you" © Dogbert
Как удалить?

В зависимости от того, хотите ли вы, чтобы файл остался в истории или нет:

git rm -f <имя файла>
git commit
git push
-- удалить из HEAD, но оставить в истории

git rebase -i <ревизия в которой файл был добавлен>~1
<пометить самый первый коммит для редактирования заменив peek на e>
git rm -f <имя файла>
git commit --amend
git rebase --continue
git push
-- удалить из истории совсем. Если добавление было в последнем коммите, то команды git rebase можно опустить.
Ответ написан
Пригласить эксперта
Ответы на вопрос 1
@inkvizitor68sl
Linux-сисадмин с 8 летним стажем.
Избегать так:
git mv from to

Счекаутите репу в чистый каталог, сделайте git rm на ненужный файл, commit, push - так быстрее всего будет.
Ответ написан
Комментировать
Ваш ответ на вопрос

Войдите, чтобы написать ответ

Войти через центр авторизации
Похожие вопросы