Update your local checkout to use new develop branch

We recently renamed the master branch to develop. Here's how you update your local clone to track develop instead of master.

git checkout master
git branch -m master develop
git fetch
git branch --unset-upstream
git branch -u origin/develop
git symbolic-ref refs/remotes/origin/HEAD refs/remotes/origin/develop