From 39bc39315bfb07956e36f910583e0694a338d6b6 Mon Sep 17 00:00:00 2001
From: Robert Bailey <robertbailey@google.com>
Date: Wed, 15 Apr 2015 20:50:00 -0700
Subject: [PATCH] Add documentation to help new contributors with write access
 from accidentally pushing upstream.

---
 docs/devel/development.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/docs/devel/development.md b/docs/devel/development.md
index 7972eef6665..bbd94fef715 100644
--- a/docs/devel/development.md
+++ b/docs/devel/development.md
@@ -256,6 +256,13 @@ git fetch upstream
 git rebase upstream/master
 ```
 
+If you have write access to the main repository, you should modify your git configuration so that
+you can't accidentally push to upstream:
+
+```
+git remote set-url --push upstream no_push
+```
+
 ## Regenerating the CLI documentation
 
 ```