Merge pull request #7229 from guettli/patch-2

use `--force-with-lease`
2023-11-28 00:54:17 +01:00 · 2023-11-28 00:54:17 +01:00 · 586efe08f0
parent 251037f778 792dd9b062
commit 586efe08f0
1 changed files with 1 additions and 1 deletions
--- a/contributors/guide/github-workflow.md
+++ b/contributors/guide/github-workflow.md
@ -230,7 +230,7 @@ To squash your commits, perform an [interactive rebase](https://git-scm.com/book
 4. Force push your changes to your remote branch:

  ```
-  git push --force
+  git push --force-with-lease
  ```

 For mass automated fixups such as automated doc formatting, use one or more