[llvm] [Github] Add PR author name to subscription email (PR #68440)

Aiden Grossman via llvm-commits llvm-commits at lists.llvm.org
Fri Oct 6 12:23:18 PDT 2023


https://github.com/boomanaiden154 created https://github.com/llvm/llvm-project/pull/68440

Currently the email that gets sent out to people subscribing to a label that the bot tags on the PR doesn't include any authorship information which some people are interested in having. This patch adds an author field to the message with the relevant information.

>From 887903650707561b1701f60b588e0db7e7aa8550 Mon Sep 17 00:00:00 2001
From: Aiden Grossman <agrossman154 at yahoo.com>
Date: Fri, 6 Oct 2023 12:19:56 -0700
Subject: [PATCH] [Github] Add PR author name to subscription email

Currently the email that gets sent out to people subscribing to a label
that the bot tags on the PR doesn't include any authorship information
which some people are interested in having. This patch adds an author
field to the message with the relevant information.
---
 llvm/utils/git/github-automation.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/llvm/utils/git/github-automation.py b/llvm/utils/git/github-automation.py
index b90c68a3618b9d7..cd549e75bf7d6cd 100755
--- a/llvm/utils/git/github-automation.py
+++ b/llvm/utils/git/github-automation.py
@@ -165,6 +165,8 @@ def run(self) -> bool:
 {self.COMMENT_TAG}
 {team_mention}
 
+Author: {self.pr._user.name} ({self.pr._user.login})
+
 <details>
 <summary>Changes</summary>
 



More information about the llvm-commits mailing list