The beta branch update should not require a force push

This commit is contained in:
flip1995 2020-04-23 20:34:30 +02:00
parent 4619bb243d
commit c19ca0e8a8
No known key found for this signature in database
GPG key ID: 2CEFCDB27ED0BE79

View file

@ -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
```