> On 24 Feb 2022 08:04, Uwe Brauer <oub@mat.ucm.es> wrote:
   
      

> Thanks for the input! I'll ping you when I have something relevant to look at :) 

> Side note: the feature you are describing sounds a lot like "git clone --bare + git worktree add $branch", does is not? 

Hm not sure, I only use git if I have to delete a unwanted commit on a remote server, 😇, other than that I use the hg-git extension,

But to give you a better example here is a graph 
◍  changeset:   130:77f838cb2a8c
│  Branch:      default
│  tag:         tip
│  Author:      Uwe Brauer <oub@mat.ucm.es>
│  Date:        Thu, 24 Feb 2022 08:38:00 +0100
│  Topic:       state-space
│  Phase:       draft
│  Summary:     Start to add the computer
│
○  changeset:   129:c2a52279db8c
│  Branch:      default
│  Author:      Uwe Brauer <oub@mat.ucm.es>
│  Date:        Thu, 24 Feb 2022 08:21:29 +0100
│  Topic:       state-space
│  Phase:       draft
│  Summary:     Start to add more examples
│
○  changeset:   128:81bbb18e8bea
│  Branch:      default
│  Author:      Uwe Brauer <oub@mat.ucm.es>
│  Date:        Wed, 23 Feb 2022 22:59:41 +0100
│  Phase:       public
│  Summary:     Finish part math, examples are still needed
│


Note that both changesets are on the default (named) branch, (that would be master in git speech), but there are now to changesets that belong to the topic «state-space», these can be deleted.