On Apr 16, 2009 at 16:25, Henning Westerholt <henning.westerholt(a)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