From c19ca0e8a8d6b8e04d635af617a80cf63aed1abc Mon Sep 17 00:00:00 2001
From: flip1995 <hello@philkrones.com>
Date: Thu, 23 Apr 2020 20:34:30 +0200
Subject: [PATCH] The beta branch update should not require a force push

---
 doc/release.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/release.md b/doc/release.md
index f16ddb375da..12bfe5a1487 100644
--- a/doc/release.md
+++ b/doc/release.md
@@ -100,5 +100,5 @@ be updated.
 # Assuming the current directory corresponds to the Clippy repository
 $ git checkout beta
 $ git rebase $BETA_SHA
-$ git push upstream beta [-f]   # This requires a force push, if a remerge was done
+$ git push upstream beta
 ```