[isabelle-dev] Odd branches on AFP

[Makarius]

On Wed, 30 Mar 2016, Salomon Sickert wrote:

> Apparently SourceTree pushed all my local branches instead of the 
> selected commits.

I've heard of SourceTree, but have not tried it yet. Is it worth spending 
time on it?

>From a distance, I would expect that local development is done with 
Mercurial queues, not branches.  For me the question remains open, if 
Mercurial branches have any purpose at all. Nobody could explain this to 
me.


 	Makarius