diff options
| author | flip1995 <hello@philkrones.com> | 2020-04-23 20:34:30 +0200 |
|---|---|---|
| committer | flip1995 <hello@philkrones.com> | 2020-04-23 23:25:35 +0200 |
| commit | c19ca0e8a8d6b8e04d635af617a80cf63aed1abc (patch) | |
| tree | 6ff0ad09269d37a09f536c0edc23c228bb258502 | |
| parent | 4619bb243db71309f1c0a619347995560d3dd20b (diff) | |
| download | rust-c19ca0e8a8d6b8e04d635af617a80cf63aed1abc.tar.gz rust-c19ca0e8a8d6b8e04d635af617a80cf63aed1abc.zip | |
The beta branch update should not require a force push
| -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 ``` |