Hi, Petr Baudis wrote:
> If you fear making mistakes, better use something which attempts to do
> some babysitting for you, like Cogito. ;-)
Some babysitting needs to be part of the core push protocol; anything else
would be prone to race conditions in a multiuser setting, esp. when people
use different porcelains.
At minimum, you'd send the old branch head with the new one, and let the
server not overwrite it if it changed in the meantime.
Then, you'd kill porcelain writers who don't verify that the old head is
a(n indirect) parent of the new one. ;-)
--
Matthias Urlichs | {M:U} IT Design @ m-u-it.de | [EMAIL PROTECTED]
Disclaimer: The quote was selected randomly. Really. | http://smurf.noris.de
- -
Madness takes its toll. Please have exact change.
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at http://vger.kernel.org/majordomo-info.html
