From c59a77be6283f83f41cf93fab5ae31a9d29493a1 Mon Sep 17 00:00:00 2001
From: Ned Batchelder <ned@nedbatchelder.com>
Date: Fri, 11 Oct 2024 06:31:48 -0400
Subject: [PATCH] docs(build): put a header on the GitHub releases

---
 ci/github_releases.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/github_releases.py b/ci/github_releases.py
index 562f3b740..6f8449005 100644
--- 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}