Deleting bookmarks on the server

[Stephen Lee]

Hi All,

I'm planning to write an extension that will allow bookmarks to be deleted
on a server and have the deletion shared with clients.
This would work by setting the bookmark to point to null, and filtering
these from the UI.  This is similar to the way non-local tag deletion works.
I can see two problems with this:
 * it would not be possible to bookmark null which is a minor annoyance
when creating the @ bookmark on an empty repo
 * deleting a bookmark from the server that has been moved on the client
cannot be detected as a divergence

The reason I want this behaviour is that we are using bookmarks to track
developer's work-in-progress in the 'awaiting review' repo on the server -
but once the code has passed review and is merged into the baseline the
bookmark is not needed.  We could just leave them, but deleting them makes
it easier to see what still needs reviewing.
If we delete them using core Mercurial they will remain in the reviewers'
local clones.

Any other ideas about how this could be achieved?

Thanks,
Steve
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurial-scm.org/pipermail/mercurial/attachments/20130428/f7c07b3a/attachment-0002.html>