From a6f5bafb360f9c8017f986def22821d62cb0f51c Mon Sep 17 00:00:00 2001 From: Dilum Aluthge Date: Wed, 19 Jun 2024 18:28:36 -0400 Subject: [PATCH] Update making_a_new_release.md --- devdocs/making_a_new_release.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/devdocs/making_a_new_release.md b/devdocs/making_a_new_release.md index 16a4ad72..f2bdba61 100644 --- a/devdocs/making_a_new_release.md +++ b/devdocs/making_a_new_release.md @@ -81,7 +81,7 @@ Now you need to go to https://github.com/julia-actions/setup-julia/tree/releases Do NOT proceed to the next step until CI is all green on the `releases/vMAJOR.MINOR.PATCH` branch. -## Step 7 +## Step 7: Push the tags (only after CI is all green) Once CI is all green on the `releases/vMAJOR.MINOR.PATCH` branch, you can push the tags.