from Andrew Lindesay:
On Mon, 4 Feb 2019, at 04:31, Thomas Mueller wrote:...
I got stuck on "git pull", something was messed up with the index or
So now how do I do git clone so as to track both master branch and
r1beta1, where I would keep both master and r1beta1 source trees intact,
so I could attempt to build one or the other without them getting mixed
up?
Hello Thomas;
Could you not just clone twice and set each of those local repositories to
the two remote branches that you want to work on?