CopyBot/Red-DiscordBot
1
0
Fork 0
mirror of https://github.com/Cog-Creators/Red-DiscordBot.git synced 2026-05-13 11:38:21 -04:00
Code Issues Packages Projects Releases Wiki Activity

Make changelog easy to parse (#6711)

Browse Source
This commit is contained in:
Jakub Kuczys
2026-05-10 22:11:36 +02:00
committed by GitHub
parent cbd4643bd3
commit 7305f44f68
8 changed files with 968 additions and 138 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tools/release_helper.py
+1 -6
View File
@@ -965,12 +965,7 @@ def cli_contributors(version: str, *, show_not_merged: bool = False) -> None:
def get_contributors(version: str, *, show_not_merged: bool = False) -> None:
print(
", ".join(
f":ghuser:`{username}`"
for username in _get_contributors(version, show_not_merged=show_not_merged)
)
)
print(*_get_contributors(version, show_not_merged=show_not_merged))
def _get_contributors(version: str, *, show_not_merged: bool = False) -> List[str]: