From 1f65656dafeb9f3ac8a4a3951afb55b090ac91dd Mon Sep 17 00:00:00 2001 From: Bruno Alla Date: Sun, 5 Feb 2023 10:03:22 +0000 Subject: [PATCH] Ignore some changes and group documentation changes into their own section (#4125) --- scripts/update_changelog.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/scripts/update_changelog.py b/scripts/update_changelog.py index b50d2506..57d915a4 100644 --- a/scripts/update_changelog.py +++ b/scripts/update_changelog.py @@ -82,14 +82,20 @@ def group_pulls_by_change_type( grouped_pulls = { "Changed": [], "Fixed": [], + "Documentation": [], "Updated": [], } for pull in pull_requests_list: label_names = {label.name for label in pull.labels} + if "project infrastructure" in label_names: + # Don't mention it in the changelog + continue if "update" in label_names: group_name = "Updated" elif "bug" in label_names: group_name = "Fixed" + elif "docs" in label_names: + group_name = "Documentation" else: group_name = "Changed" grouped_pulls[group_name].append(pull)