"Neshama Parhoti" <pneshama@xxxxxxxxx> writes: > 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 ? This is considered normal. Push would never touch index nor working area (although if you are the only user, and you know what you are doing, you can add "git reset --hard HEAD" to post-receive hook). It is the only way: "push" cannot be opposite of "pull" and do a merge because there is nobody to resolve conflict on remote side. So you should either do mirroring (1:1 refspec) push into bare repository (without working directory), or push into remotes section, remotes/satellite or remotes/mothership, like shown in GitFaq, below. See also: * "Why won't I see changes in the remote repo after "git push"?" http://git.or.cz/gitwiki/GitFaq#head-b96f48bc9c925074be9f95c0fce69bcece5f6e73 * "How would I use "git push" to sync out of a firewalled host?" http://git.or.cz/gitwiki/GitFaq#head-46de97a5ac549d3adf406c22674b3325ae25d09c -- Jakub Narebski Poland ShadeHawk on #git -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
