From b32787e5ea6127098a9ab5a4f5e39369f3e4fd43 Mon Sep 17 00:00:00 2001
From: Francesco Gazzetta <fgaz@fgaz.me>
Date: Tue, 3 Oct 2023 10:43:08 +0000
Subject: [PATCH] docs: contributing: use --force-with-lease instead of --force

It's a little less destructive

Signed-off-by: Francesco Gazzetta <fgaz@fgaz.me>
---
 docs/contributing.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/contributing.rst b/docs/contributing.rst
index f34380d..8952ce4 100644
--- a/docs/contributing.rst
+++ b/docs/contributing.rst
@@ -85,7 +85,7 @@ easily:
 .. code-block:: sh
 
     git commit --amend --signoff
-    git push --force <myfork> HEAD
+    git push --force-with-lease <myfork> HEAD
 
 Additionally, please be aware that github will not send out automatic
 notifications to let the maintainer know that you have pushed an update to the