* git fetch upstream
* git checkout -b my_new_develop_branch upstream/develop
* If you want to rename that branch later: "git checkout -b my_new_develop_branch_with_new_name"
-* Push branch to server: "git push -u origin meaningful_name_for_branch"
+* Push branch to server: "git push -u origin name_of_local_develop_branch"
* Use Github to issue PR