Update release documentation

flip1995 · flip1995 · commit c85cb76064ae · 2020-10-09T09:40:57.000+02:00
diff --git a/doc/release.md b/doc/release.md
@@ -68,7 +68,7 @@ be updated.
 ```bash
 # Assuming the current directory corresponds to the Clippy repository
 $ git checkout beta
-$ git rebase $BETA_SHA
+$ git reset --hard $BETA_SHA
 $ git push upstream beta
 ```
 
