Re: [PATCH] push: point to 'git pull' and 'git push --force' in case of non-fast forward
- From
Matthieu Moy <matthieu.moy@imag.fr>
- Date
- Aug 7, 2009, 20:22 UTC
- Message-ID
- <vpqeirnv0fv.fsf@bauges.imag.fr>
- In-Reply-To
- <7vd477v17r.fsf@alter.siamese.dyndns.org>
Junio C Hamano <gitster@pobox.com> writes:
> I actually do not think it is appropriate to teach --force in an example > that involves more than one person (iow, in the context of the example in > my patch).
Right, that is the point. A more accurate example would be "oops, I rewrote history after a push, shall I still push it?". But your proposal is already long, let's not over-document it.
-- Matthieu