When making a release, just promote the latest nightly

This commit is contained in:
Aleksey Kladov 2020-04-07 11:37:59 +02:00
parent 9c482f4a21
commit 372e684f6e

View file

@ -172,8 +172,8 @@ pub fn run_pre_cache() -> Result<()> {
pub fn run_release(dry_run: bool) -> Result<()> { pub fn run_release(dry_run: bool) -> Result<()> {
if !dry_run { if !dry_run {
run!("git switch release")?; run!("git switch release")?;
run!("git fetch upstream")?; run!("git fetch upstream --tags --force")?;
run!("git reset --hard upstream/master")?; run!("git reset --hard tags/nightly")?;
run!("git push")?; run!("git push")?;
} }