correction

diff --git a/SETUP.md b/SETUP.md
index 102434b..13c4f59 100644 (file)
--- a/SETUP.md
+++ b/SETUP.md
@@ -79,7 +79,7 @@ To make sure your new pull request does not contain commits which are already co
 * 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"
 * 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
 
 
 * Use Github to issue PR