[petsc-dev] Internal and external symbols

[Sean Farley]

Jed Brown writes:

> On Tue, Mar 5, 2013 at 7:37 PM, Sean Farley <sean at mcs.anl.gov> wrote:
>
>> In mercurial, you'd do 'hg bookmark simp', 'hg push -B simp'. Jed would
>> 'hg pull -B simp' and complete the merge.
>>
>
> One notable difference is that a git user does not see these unless they
> look for them. You can have hundreds of such branches without a typical
> user even knowing about them. In contrast, many normal hg commands show you
> these additional heads, often in a way that doesn't scale well.

Yes, that has traditionally been true but has changed significantly with
the latest release involving hidden changesets. Lots of care has been
taken to scale to extremely large repos.

> Another difference is that hg bookmarks are not namespaced. Sean says there
> has been some work in this direction, but it sounds like it's not ready for
> use yet and will be a while before it makes it into the standard release
> (if ever).

Well, the work in that direction is all *me*, so no, it's not ready for
prime time. Even after my second implementation, I see no need for
namespaces as you describe them.