Fix a Git detached head?

Question

I was doing some work in my repository and noticed a file had local changes. I didn\'t want them anymore so I deleted the file, thinking I can just checkout a fresh copy. I

Answer 1

git pull origin master

worked for me. It was just about giving remote and branch name explicitly.