One of our developers just downloaded our repository from github in a zip (without the .git
directory). He made many changes in it, and wants to upload it back.
I would like to solve this situation by restoring the .git
folder, but I have no idea how to do it right. I mostly just called git push, pull, commit, and nothing advanced.
I could clone the repository in a separate directory, and copy the .git
folder from there to the working directory, but that seems the wrong way to me.