[RFC] Pushkey Concept

[Adrian Buehlmann]

On 20.09.2009 23:37, David Soria Parra wrote:
> Once we discussed a good transfer mechanism I'll come up with some more
> details about pushable bookmarks in general.

Wouldn't it make more sense to describe some pushable bookmarks
use cases first, before looking into the details how to transfer
them?

I understand bookmarks as follows:

A user U1 attaches a bookmark B to a head in his local repo.
B is set to head revision r0.

If U1 commits a revision r1 based on r0, B implicitly
moves on to r1.

So far, everything just local.

Assume now a second user U2, who has a clone of the repo
with bookmark B on r0 (U2 got B by cloning, because the
new clone pulls bookmarks along with the repo).

At the same time U2 now committed revision r2 on top of r0
and thus implicitly moved bookmark B to r2.

Now assume U1 pushes r1 to a server S. Thanks to the bookmark
push feature, we now have bookmark B on r1 in the repo on S.

Now assume U2 pushes r2 to S as well.

Where is bookmark B now?