Re: How is working on arbitrary remote heads supposed to work in Cogito (+ PATCH)?
- From
Matthias Urlichs <smurf@smurf.noris.de>
- Date
- Jul 28, 2005, 21:13 UTC
- Message-ID
- <pan.2005.07.28.21.13.35.458701@smurf.noris.de>
- In-Reply-To
- <20050728161815.GC17952@pasky.ji.cz>
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 | smurf@smurf.noris.de
Disclaimer: The quote was selected randomly. Really. | http://smurf.noris.de
- -
Madness takes its toll. Please have exact change.