git push requires a subsequent git reset --hard ?

Hi all,

I took with me a copy of a local repository to a week away from my station (just rsync'ed it to my laptop).

On my return, I just "git push myuser@my-station:/my/git/repo" from my laptop. It seemed to work with no probs. On my station the git repo got the new commits, as I can see in git-log, but the actual files were left untouched.

So I need to do something like "git reset --hard HEAD" to get the changes into the local files.

Is that considered normal ?

or did I do something wrong ?

Thanks, pnesh