From 0a2656b723211a66d93e4231f353a1fe2fc580d3 Mon Sep 17 00:00:00 2001 From: Luke Owncloud Date: Sat, 25 Jan 2014 14:50:15 +0100 Subject: [PATCH] correction --- SETUP.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/SETUP.md b/SETUP.md index 102434b8..13c4f592 100644 --- 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" -* 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 -- 2.11.0