From: Neshama Parhoti <pneshama@gmail.com>
Date: Tue, 01 Jul 2008 16:51:26 GMT
Subject: git push requires a subsequent git reset --hard ?
Message-ID: <912ec82a0807010951j9e970f2k9624682b33c8af7d@mail.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