diff options
| author | flip1995 <philipp.krones@embecosm.com> | 2021-05-27 11:09:49 +0200 |
|---|---|---|
| committer | flip1995 <philipp.krones@embecosm.com> | 2021-05-27 11:09:49 +0200 |
| commit | 8d422881bcffc038908ad4e20d17cc430835a2ca (patch) | |
| tree | ccf18c304e1505489222c9ed4f4e1f8a9562064a | |
| parent | 9c4651f2eeedc6f17f970d05699706c527c7a658 (diff) | |
| download | rust-8d422881bcffc038908ad4e20d17cc430835a2ca.tar.gz rust-8d422881bcffc038908ad4e20d17cc430835a2ca.zip | |
Document to only push the created tag and not everything
| -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 eaa6a9af277..e0af9bf0625 100644 --- a/doc/release.md +++ b/doc/release.md @@ -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]. |