Я хочу удалить локальный Git-репозиторий проекта, в котором также есть пульт. Но я не хочу потерять что-либо, что я когда-либо делал с этим хранилищем. У меня есть следующий контрольный список:
- Есть ли ветки, которых нет в удаленном хранилище?
- Существуют ли какие-либо теги, которые не содержатся в удаленном хранилище?
- Есть ли тайники?
- Есть ли какие-либо игнорируемые файлы, которые могут содержать полезные данные?
- Имеет ли индекс те же данные, что и рабочий каталог?
Есть ли команда Git, которая выполняет все вышеуказанные проверки, а также те, которые я забыл в приведенном выше списке?