1
0
mirror of https://github.com/emilk/egui.git synced 2026-08-31 22:00:03 -04:00

Improve release checklist (#7322)

* See https://github.com/emilk/egui/issues/7321
This commit is contained in:
Emil Ernerfeldt
2025-07-09 19:36:38 +02:00
committed by GitHub
parent 087e56abae
commit 8d2f39fc08
3 changed files with 34 additions and 25 deletions

View File

@@ -192,7 +192,9 @@ def remove_prefix(text, prefix):
def print_section(heading: str, content: str) -> None:
if content != "":
print(f"## {heading}")
print(content)
print(content.strip())
print()
print()
print()
@@ -345,11 +347,8 @@ def main() -> None:
print()
for crate in crate_names:
if crate in crate_sections:
prs = crate_sections[crate]
print_section(crate, changelog_from_prs(prs, crate))
print()
print_section(crate, changelog_from_prs(crate_sections[crate], crate))
print_section("Unsorted PRs", "\n".join([f"* {item}" for item in unsorted_prs]))
print()
print_section(
"Unsorted commits", "\n".join([f"* {item}" for item in unsorted_commits])
)