Hi Guys, I just wanted to let you know that we've now converted (renamed) the 2.0 branch on github to master. To avoid breaking your local github repos, please do the following:
$ git branch -m master 1.2
$ git branch -m 2.0 master
This will rename your local branches accordingly, so that your local master will match the remote branch which is the original 2.0 branch.