migrations/egui
1
0
Fork 0
mirror of https://github.com/emilk/egui.git synced 2026-06-26 14:49:06 -04:00
Code Activity

Update changelogs

Browse Source
This commit is contained in:
Emil Ernerfeldt
2023-05-23 17:33:01 +02:00
parent b2281c46e4
commit cb6bcde22c
7 changed files with 160 additions and 85 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/generate_changelog.py
View File

@@ -106,7 +106,7 @@ def print_section(crate: str, items: List[str]) -> None:
for line in items:
line = remove_prefix(line, f"{crate}: ")
line = remove_prefix(line, f"[{crate}] ")
print(f"- {line}")
print(f"* {line}")
print()
@@ -148,7 +148,7 @@ def main() -> None:
if pr_number is None:
# Someone committed straight to main:
summary = f"{title} [{hexsha}](https://github.com/{OWNER}/{REPO}/commit/{hexsha})"
summary = f"{title} [{hexsha[:7]}](https://github.com/{OWNER}/{REPO}/commit/{hexsha})"
unsorted_commits.append(summary)
else:
title = pr_info.pr_title if pr_info else title # We prefer the PR title if available