From f1589818203160c641506aef6bcea5314387b264 Mon Sep 17 00:00:00 2001 From: Tshepang Mbambo Date: Mon, 18 Mar 2024 15:02:12 +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 b10fd6c336..6ba1044c7a 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -602,7 +602,7 @@ cargo dist generate-ci # to update .github/workflows/release.yml 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 +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 using `git push --tag`.