in dev/release/generate-changelog.py [0:0]
def print_pulls(repo_name, title, pulls) -> None:
if len(pulls) > 0:
print(f"**{title}:**")
print()
for pull, commit in pulls:
url = f"https://github.com/{repo_name}/pull/{pull.number}"
print(f"- {pull.title} [#{pull.number}]({url}) ({commit.author.login})")
print()