Хорошо, я работал с разработчиком.Мы сохраняем все наши изменения в git.
По ошибке произошло то, что он не клонировал репо, вместо этого он скопировал и вставил весь репозиторий без папки .git и внес в нее изменения.
Мы хотим синхронизировать репозиторий с git, а также зафиксировать внесенные изменения.
Какой будет правильная процедура для этого?