Git Clone then git pull

Question

Hi there I just did a git clone of a repo on my PROD server, then changed folder name sudo mv folder correct_folder_name

I have made changes on local machine then git push to repo.

I go back to my PROD server and git pull, but there is not .git repo fatal: Not a git repository (or any of the parent directories): .git

What are the steps to pull next commit? git init git merge

not sure ?

Answer 1

I know this topic is terribly old, bu maybe someone will You shouldn't rename a repo outside the git. You should use:

git mv olddir newdir

It consists of the following commands:

mv olddir newdir
git add newdir
git remove olddir

So I guess that running the two remaining git commands would help to first correct the problem with the repo. Then you should be able to do the pull.