Bugzilla Issue migration to github (phobos)

[rassoc]

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 <phobos at noreply.github.com>"), 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. ;)