Junio C Hamano [off-list ref] writes:
You are in favor of an _option_ to allow people to forbid a pull in
a non-ff situation, and I think other people are also in
agreement.
Yes. Having an option can't harm anybody, and there's a clear demand for
that.
So perhaps:
- drop jc/pull-training-wheel and revert its merge from 'next';
- update Felipe's series with a bit of tweak to make it less
impactful by demoting error into warning and advice.
would be a good way forward?
I didn't follow very closely the discussions and patch series, but that
would sound right to me. The last version of Felipes' patch series
already gives a warning only, but the wording and commit message implies
that this will become an error in the future (this is the part with
which I disagree).
--
Matthieu Moy
http://www-verimag.imag.fr/~moy/