On Thursday, 22 March 2012 10:03:21 UTC+1, tombert wrote:
>
> Interesting post, but this puzzles me:
>
> On Thursday, March 22, 2012 8:52:12 AM UTC+1, radovan bast wrote:
>>
>> obviously i wouldn't do this if you have already pushed the commits
>>
>> I guess it is a problem if some other people commit on the wrong master 
> branch?
>

It is not only that. A push to a remote repository is only possible if it 
is a Fast Forward change. That means you can only push added commits.

If you change your local tree in other ways, you will be required to do a 
merge from the remote first. And that would negate the changes you did.

It is possible to push --force, but I think it is dangerous. Especially if 
someone else already had done a pull.

-- 
You received this message because you are subscribed to the Google Groups "Git 
for human beings" group.
To view this discussion on the web visit 
https://groups.google.com/d/msg/git-users/-/Rmzlv0cxjHAJ.
To post to this group, send email to git-users@googlegroups.com.
To unsubscribe from this group, send email to 
git-users+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/git-users?hl=en.

Reply via email to