From e758fd50c9f6359466e2d99d253600557a332c36 Mon Sep 17 00:00:00 2001
From: Manfred Brandl <manfred@brandl.net>
Date: Mon, 20 Aug 2018 10:58:42 +0000
Subject: [PATCH] More Information about pushing to origin

---
 CONTRIBUTING.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 64ea71ba9..25d94f06b 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -390,7 +390,7 @@ Addtionaly here is a step-by-step workflow example for beginners:
 
 7. Add Files and commit them `git add <files> ; git commit -m "Description of what you did"` .. repeat repeat as needed..
 
-8. Push Changes to your GitHub account `git push --set-upstream origin master`
+8. Push Changes to your GitHub account `git push origin <working-branch-name>`. The next push also works without the branche name: `git push origin`.
 
 9.  Go to GitHub for your fork of iD at https://github.com/<yourgithubaccount/iD. GitHub will already know about your recently pushed branch, and ask if you want to create a Pull Request for it.