Re: [PATCH v2 06/15] user-manual: Give 'git push -f' as an alternative to +master

> "W. Trevor King" <wking@tremily.us> writes:
> > +Note the addition of the `+` sign.  Alternatively, you can use the
> > +`-f` flag to force the remote update, as in:
> > +
> > +-------------------------------------------------
> > +$ git push -f ssh://yourserver.com/~you/proj.git master
> > +-------------------------------------------------
> > +
> 
> I didn't check the surrounding examples but would it make it a bit
> too advanced to make the example flow push out more than one
> branches here (perhaps he is also updating the 'maint' branch)?
> Then use of "--force" can be explained as "Instead of adding + to
> each and every refs to be pushed, you can use a single -f to force
> everything."
> 
> The mistake I would want to avoid teaching the readers is to replace
> 
> 	push $there +master maint
> 
> with
> 
> 	push -f $there master maint
> 
> or even worse
> 
> 	push -f $there
>   push -f