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