fix release prep list

Naomi Slater · Christian Bader · commit 43832039d6a3 · 2017-04-28T10:45:53.000+02:00
diff --git a/DEVELOP.rst b/DEVELOP.rst
@@ -51,7 +51,7 @@ To create a new release, you must:
 
 - Commit your changes with a message like "prepare release x.y.z"
 
-- Push to origin
+- Push to ``origin/master``
 
 - Create a tag by running ``./devtools/create_tag.sh``
 
