Bugzilla Issue migration to github (phobos)

[Jonathan M Davis]

On Sunday, December 1, 2024 12:26:25 PM MST Robert Schadek via Digitalmars-d-
announce wrote:
> Earlier today I migrated the phobos' bugzilla issues from
> bugzilla to github https://github.com/dlang/phobos/issues
>
> Next I'll move druntime and dmd (this year).
>
> Sorry to taking so long.

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. For instance, one of the recent
e-mails I received for an issue for Phobos has

Message-ID: <dlang/phobos/issues/10346/2510910870 at github.com>

whereas a recent e-mail about a PR has

Message-ID: <dlang/phobos/pull/10570/c2510278253 at github.com>

Depending on your e-mail client, this could be a bit of a pain to filter on
(e.g. in mine, I have to search for "Message-ID: <dlang/phobos/issues"
within the entire message, since it doesn't let me filter on the
"Message-ID" header specifically), so this is kind of unfortunate, but at
least with how github is currently set up, it's the only way that I could
find. And since it took a bit of investigation to figure it out, I figured
that I'd pass the information along so that other folks wouldn't have to go
to that same effort.

- Jonathan M Davis