Re: git branch

I'm not sure if I'm following you correctly, but with Git you need to
check out your branch after creating it. Run git checkout install_2.0
after you have created it.

Yes, that sounds reasonable. I did not know it was necessary to "switch to it".

- Gergely