diff options
author | Martin Robinson <mrobinson@igalia.com> | 2023-07-13 09:45:48 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-13 07:45:48 +0000 |
commit | d5202a4a98027b443a6cc04b4b977807131efd5a (patch) | |
tree | 7540e3a25da27cacd0c8462e4a0a4a7dc8e89ac2 /python/wpt/run.py | |
parent | 9eee5171324553e60d784b989af5f16be9100a11 (diff) | |
download | servo-d5202a4a98027b443a6cc04b4b977807131efd5a.tar.gz servo-d5202a4a98027b443a6cc04b4b977807131efd5a.zip |
Enable the GitHub merge queue (#29989)
Signed-off-by: Martin Robinson <mrobinson@igalia.com>
Diffstat (limited to 'python/wpt/run.py')
-rw-r--r-- | python/wpt/run.py | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/python/wpt/run.py b/python/wpt/run.py index ae0fde9cb27..2b3cad5d563 100644 --- a/python/wpt/run.py +++ b/python/wpt/run.py @@ -223,9 +223,17 @@ class TrackerDashboardFilter(): run_id = github_context['run_id'] build_url = f"{repo_url}/actions/runs/{run_id}" - commit_title = github_context["event"]["head_commit"]["message"] - match = re.match(r"^Auto merge of #(\d+)", commit_title) - pr_url = f"{repo_url}/pull/{match.group(1)}" if match else None + commit_title = "<no title>" + if "merge_group" in github_context["event"]: + commit_title = github_context["event"]["merge_group"]["head_commit"]["message"] + if "head_commit" in github_context["event"]: + commit_title = github_context["event"]["head_commit"]["message"] + + pr_url = None + match = re.match(r"^Auto merge of #(\d+)", commit_title) or \ + re.match(r"\(#(\d+)\)", commit_title) + if match: + pr_url = f"{repo_url}/pull/{match.group(1)}" if match else None return GithubContextInformation( build_url, |