Update making_a_new_release.md

julia-actions · Jun 19, 2024 · a6f5baf · a6f5baf
1 parent f732aee
commit a6f5baf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.