As we decided in the previous thread, the devel branch has been renamed to master. If you have a personal fork, here are some commands to do the same: git checkout devel git branch -m master git push origin master git push origin :devel -Spencer