docs(build): put a header on the GitHub releases

nedbat · Oct 11, 2024 · c59a77b · c59a77b
1 parent 65ac395
commit c59a77b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/github_releases.py b/ci/github_releases.py
@@ -86,7 +86,7 @@ def get_releases(session, repo):
     return releases
 
 RELEASE_BODY_FMT = """\
-Released {when}
+## Version {version} \N{EM DASH} {when}
 
 {relnote_text}