On Apr 16, 2009 at 16:25, Henning Westerholt henning.westerholt@1und1.de wrote:
On Thursday 16 April 2009, Jan Janak wrote:
[..] $ git push and in that case repository 'origin' is used.
The opposite of 'git push' is 'git pull'. This is the operation that you can use to synchronize your local repository with the remote repository.
Hi Jan,
i've one question to the usage of git pull. I've encountered it a few times, everytime when somebody commited something to the repository, i did a git pull to update my repo as well. This merged the changes into my repository, as wanted, no problem here.
But, it also show this changes as new commits, as changed files for example when i do git status, or git diff, where i clearly did not changed anything. Perhaps this is just normal, do you've an explanation for this?
No, it's not normal (I've never seen it). You should not see anything in git diff after a git pull, if you haven't made any local changes (you should see only local changes). Same for git status (you should see only local changes or untracked files).
Andrei