Document to only push the created tag and not everything

This commit is contained in:
flip1995 2021-05-27 11:09:49 +02:00
parent 9c4651f2ee
commit 8d422881bc
No known key found for this signature in database
GPG key ID: 1CA0DF2AF59D68A5

View file

@ -94,7 +94,7 @@ After finding the Clippy commit, it can be tagged with the release number.
# Assuming the current directory corresponds to the Clippy repository
$ git checkout $SHA
$ git tag rust-1.XX.0 # XX should be exchanged with the corresponding version
$ git push upstream master --tags # `upstream` is the `rust-lang/rust-clippy` remote
$ git push upstream rust-1.XX.0 # `upstream` is the `rust-lang/rust-clippy` remote
```
After this, the release should be available on the Clippy [release page].