9 Mar
2012
9 Mar
'12
11:57 p.m.
On 9 Mar 2012, Timothy Pearson told this:
UPDATE: GIT is actually smart enough it seems, but it
is taking many hours
for it to merge everything correctly.
This makes no sense, I'm afraid. git merging is done on the client side,
always, and at pull time, never at push time (really at 'git merge'
time, which is the second of two steps carried out by 'git pull').
Pushing never does a merge of any kind. You can only push on top of a
remote branch containing content you haven't pulled if you do a push -f,
and that *deletes* the content you haven't pulled (hence the need for a
-f 'force' argument).
--
NULL && (void)