On 12/3/24 07:52, Jonathan M Davis via Digitalmars-d-announce wrote:
Just an FYI for anyone trying to adjust their e-mail filters so that PRs and
issues from github go into separate folders...
While the project itself can be filtered on by the subject (e.g. e-mails
from github related to Phobos start with "[dlang/phobos]"), or by the "To"
header (e.g. "dlang/phobos <[email protected]>"), there isn't any
such distinction between types of e-mails for a given project. After some
poking around, from what I can tell, it's the "Message-ID" header that needs
to be filtered on to get this information.
Not quite fool-proof, but AFAIK the subject of PR and issue messages
always ends with `(PR #xxxxxx)` and `(#xxxxxx)`, respectively. Or simply
use a proper e-mail client like thunderbird that allows arbitrary
filtering of custom fields such as list-id and message-id. ;)
