git push requires a subsequent git reset --hard ?

["Neshama Parhoti" <pneshama@gmail.com>]

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