diff options
| -rw-r--r-- | doc/release.md | 2 |
1 files changed, 1 insertions, 1 deletions
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 ``` |