With the new build in RF 5, we are doing away with the git flow prescribed "develop" branch, and sticking with the more conventional "master" branch. I piloted this with the archetype repository, droped the master branch, and renamed the develop branch to master. If you try and push changes to the "develop" branch, you'll get a git error, so be sure to switch to the "master" branch.
I have completed this transition for all github repos, except the sandbox. Please update your checkouts accordingly!
Note: Outstanding Pull Requests may have inadvertanly been closed when the develop brand was dropped. Please re-file your Pull Request against the master branch.