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.