<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<p><br>
</p>
<div class="moz-cite-prefix">On 10/25/19 6:49 AM, Martin Storsjö via llvm-dev wrote:<br>
</div>
<blockquote type="cite" cite="mid:alpine.DEB.2.20.1910251446350.6969@cone.martin.st">
On Fri, 25 Oct 2019, Martin Storsjö via llvm-dev wrote: <br>
<br>
<blockquote type="cite">On Thu, 24 Oct 2019, James Y Knight via llvm-dev wrote: <br>
<br>
<blockquote type="cite">We do not want to build supplementary notification systems to make github
<br>
issues send additional emails that it is unable to send itself. We will only <br>
support what GitHub supports. That means: <br>
- You can subscribe to notification emails for activity in the entire <br>
llvm-project repository. <br>
- You can subscribe to notification emails on an individual issue. <br>
- Someone else can CC you on an individual issue to get your attention, and <br>
you will get notifications from that (unless you opt-out). <br>
</blockquote>
<br>
One thing comes to mind wrt workflows and how I often use bugzilla: After bisecting a regression and filing a bug with the reproducer, I try to add CCs for the author of the commit and potentially the reviewers who were involved with the commit.
<br>
<br>
In bugzilla it's fairly easy to try type people's names (which you find easily via the Phabricator review) and bugzilla will autocomplete and let you pick whoever seems to match what you typed.
<br>
<br>
In github I'd presume you need to know the github username of the ones you want to CC. For the cases where it matches the Phabricator username, this is straightforward, but I'm sure there's a significant number of users where the mapping isn't obvious.
<br>
</blockquote>
<br>
Replying to myself here - I rememeberd that when viewing a commit on github, github is actually very good at replacing any references to the original author name with their github username (to the extent that it actually is hard to find the realname of the
author when viewing a commit). <br>
<br>
So for CCing people on issues, the author/committer should be easy to discover; potential related reviewers are the only ones where discovering their github usernames might be tricky. And that's much less important.
<br>
</blockquote>
<p><br>
</p>
<p>I disagree, this is extremely important. Many bugs are filed by people who don't know what commit is relevant, and other community members who watch the bugs list (including myself) help cc the right people. We must have a straightforward way to cc people.
A list somewhere with people's names could be a fine solution, but the current autocomplete is an important part of the workflow, and a limited search is important (as I often don't remember exactly how various people's names are spelled).</p>
<p> -Hal</p>
<p><br>
</p>
<p><br>
</p>
<blockquote type="cite" cite="mid:alpine.DEB.2.20.1910251446350.6969@cone.martin.st">
<br>
// Martin <br>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
LLVM Developers mailing list
<a class="moz-txt-link-abbreviated" href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>
<a class="moz-txt-link-freetext" href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a>
</pre>
</blockquote>
<pre class="moz-signature" cols="72">--
Hal Finkel
Lead, Compiler Technology and Programming Languages
Leadership Computing Facility
Argonne National Laboratory</pre>
</body>
</html>