diff options
author | Aleksey Kladov <[email protected]> | 2021-04-26 11:49:14 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-04-26 11:49:14 +0100 |
commit | 1745207a08867deb779dba8cdc4c1d438b528940 (patch) | |
tree | 4c39544f2a06551a00dcdb4d30d95a7a762d7c6c /xtask | |
parent | 7bb9c147c0e4815ff8ed48dfee1d8267133bbef7 (diff) |
Update xtask/src/release.rs
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'xtask')
-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 f7e6dca4e..07073397f 100644 --- a/xtask/src/release.rs +++ b/xtask/src/release.rs | |||
@@ -10,7 +10,7 @@ impl flags::Release { | |||
10 | cmd!("git switch release").run()?; | 10 | cmd!("git switch release").run()?; |
11 | cmd!("git fetch upstream --tags --force").run()?; | 11 | cmd!("git fetch upstream --tags --force").run()?; |
12 | cmd!("git reset --hard tags/nightly").run()?; | 12 | cmd!("git reset --hard tags/nightly").run()?; |
13 | // The `release` branch sometimes have a couple of cherry-picked | 13 | // The `release` branch sometimes has a couple of cherry-picked |
14 | // commits for patch releases. If that's the case, just overwrite | 14 | // commits for patch releases. If that's the case, just overwrite |
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. |