'Branching and Pull Requests' section states that develop branch should be used for PRs, but there is no such branch.