From 7e22adff7c78a80a250facf097879856d5418edb Mon Sep 17 00:00:00 2001 From: Lex Berezhny Date: Tue, 8 Jan 2019 23:55:34 -0500 Subject: [PATCH] added contributor username to each PR listed in changelog --- scripts/release.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/release.py b/scripts/release.py index 6e9e58a6f..ead35205b 100644 --- a/scripts/release.py +++ b/scripts/release.py @@ -135,7 +135,7 @@ def release(args): area = areas.setdefault(area_name, []) type_label = get_label(pr, "type") if not (args.action == '*-rc' and type_label == 'fixup'): - area.append(f' * [{type_label}] {pr.title} ({pr.html_url})') + area.append(f' * [{type_label}] {pr.title} ({pr.html_url}) by {pr.user["login"]}') area_names = list(areas.keys()) area_names.sort()