crew repo and bookmarks

[Augie Fackler]

On Jul 6, 2012, at 5:12 PM, Levi Bard wrote:

>>>> Should I be getting these bookmarks on a bare 'hg pull' if I don't use -B?
>>> 
>>> If you're running default, then yes: <http://selenic.com/hg/rev/c285aae10f6c>
>> 
>> Ugh. I really don't like the cluttering of my personal bookmark namespace this causes. Is there a reason for pull to always bring in bookmarks, but push to not always push them? The asymmetry is really surprising to me.
> 
> If they're shared, they're pulled on pull and updated on push. The
> only asymmetry is that you have to explicitly choose to share, i.e. to
> clutter everyone else's bookmark namespace. We assume that bookmarks
> that are pushed are meant to be shared with all the repo's users.

I've mulled this over and I think what's bugging me is more the way we're using bookmarks on crew rather than the sharing model on pull.