From c78f6650b43000566cfd22b8d31b853abb485da7 Mon Sep 17 00:00:00 2001 From: Tshepang Mbambo Date: Mon, 18 Mar 2024 15:01:43 +0200 Subject: [PATCH] add a pause --- CONTRIBUTING.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 449b37f51a..b10fd6c336 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -600,7 +600,7 @@ cargo dist generate-ci # to update .github/workflows/release.yml ### What to do if a Github release fails -If the release process fails after you run `cargo release` you can manually +If the release process fails after you run `cargo release`, you can manually delete the tag and release from Github. Also remember to delete the tag locally by running `git tag -d`. Once all the extra changes are in the `main` branch you can trigger a release by creating a new tag using `git tag` and push it