aboutsummaryrefslogtreecommitdiff
path: root/xtask/src
diff options
context:
space:
mode:
authorAleksey Kladov <[email protected]>2021-04-26 11:41:34 +0100
committerAleksey Kladov <[email protected]>2021-04-26 11:41:34 +0100
commit7bb9c147c0e4815ff8ed48dfee1d8267133bbef7 (patch)
treeaa270bfecf743c41c78391d9f551c65a8ff2d292 /xtask/src
parent3209ddacd5d2c070f917f8733d3df9415472c47f (diff)
internal: make normal release after a poin release less annoying
Diffstat (limited to 'xtask/src')
-rw-r--r--xtask/src/release.rs11
1 files changed, 10 insertions, 1 deletions
diff --git a/xtask/src/release.rs b/xtask/src/release.rs
index 22bb50467..f7e6dca4e 100644
--- a/xtask/src/release.rs
+++ b/xtask/src/release.rs
@@ -10,7 +10,16 @@ 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 cmd!("git push").run()?; 13 // The `release` branch sometimes have a couple of cherry-picked
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`
16 // tag, this shouldn't be problematic in general.
17 //
18 // Note that, as we tag releases, we don't worry about "loosing"
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
21 // to delete old tags.
22 cmd!("git push --force").run()?;
14 } 23 }
15 codegen::docs()?; 24 codegen::docs()?;
16 25