diff options
author | Aleksey Kladov <[email protected]> | 2021-04-26 11:49:19 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-04-26 11:49:19 +0100 |
commit | 26dfb6b9d03fbee596ef891a985a3efe5cf9519e (patch) | |
tree | 87930b84e6f99ff949c8cd9f60d401689cf66e03 | |
parent | 1745207a08867deb779dba8cdc4c1d438b528940 (diff) |
Update xtask/src/release.rs
Co-authored-by: Laurențiu Nicola <[email protected]>
-rw-r--r-- | xtask/src/release.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xtask/src/release.rs b/xtask/src/release.rs index 07073397f..452f351d0 100644 --- a/xtask/src/release.rs +++ b/xtask/src/release.rs | |||
@@ -15,7 +15,7 @@ impl flags::Release { | |||
15 | // it. As we are setting `release` branch to an up-to-date `nightly` | 15 | // it. As we are setting `release` branch to an up-to-date `nightly` |
16 | // tag, this shouldn't be problematic in general. | 16 | // tag, this shouldn't be problematic in general. |
17 | // | 17 | // |
18 | // Note that, as we tag releases, we don't worry about "loosing" | 18 | // Note that, as we tag releases, we don't worry about "losing" |
19 | // commits -- they'll be kept alive by the tag. More generally, we | 19 | // commits -- they'll be kept alive by the tag. More generally, we |
20 | // don't care about historic releases all that much, it's fine even | 20 | // don't care about historic releases all that much, it's fine even |
21 | // to delete old tags. | 21 | // to delete old tags. |