doc: Correct git push instructions adding branch name

Signed-off-by: Lee Revell <rlrevell@gmail.com>

diff --git a/doc/start/documenting-ceph.rst b/doc/start/documenting-ceph.rst
index 3aba99c70f58d146836885a9ecff5df5168635f4..d57192e8d1c2c50be0557489bd3d2b80270247b6 100644 (file)
--- a/doc/start/documenting-ceph.rst
+++ b/doc/start/documenting-ceph.rst
@@ -446,10 +446,13 @@ Push the Change
 
 Once you have one or more commits, you must push them from the local copy of the
 repository to ``github``. A graphical tool like ``git-gui`` provides a user
-interface for pushing to the repository. ::
+interface for pushing to the repository. If you created a branch previously::
 
-       git push
+       git push origin wip-doc-{your-branch-name}
+
+Otherwise::
 
+       git push
 
 
 Make a Pull Request