Add documentation to help new contributors with write access

from accidentally pushing upstream.

1 files changed, 7 insertions, 0 deletions

diff --git a/development.md b/development.md
index 7972eef6..bbd94fef 100644
--- a/development.md
+++ b/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
 
 ```