From eb54dab3624609c08dc0f26233ffb7b414a1a510 Mon Sep 17 00:00:00 2001
From: RMuskovets <rmuskovets@gmail.com>
Date: Fri, 8 Feb 2019 21:29:39 +0200
Subject: [PATCH] Update developing_rebasing.rst (#51650)

---
 docs/docsite/rst/dev_guide/developing_rebasing.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/docsite/rst/dev_guide/developing_rebasing.rst b/docs/docsite/rst/dev_guide/developing_rebasing.rst
index 4b770051237..58e14f57dde 100644
--- a/docs/docsite/rst/dev_guide/developing_rebasing.rst
+++ b/docs/docsite/rst/dev_guide/developing_rebasing.rst
@@ -69,7 +69,7 @@ Now that you've rebased your branch, you need to push your changes to GitHub to
 
 Since rebasing re-writes git history, you will need to use a force push::
 
-   $ git push --force
+   $ git push --force-with-lease
 
 Your PR on GitHub has now been updated. This will automatically trigger testing of your changes.
 You should check in on the status of your PR after tests have completed to see if further changes are required.