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 <[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. For instance, one of the recent e-mails I received for an issue for Phobos has Message-ID: <dlang/phobos/issues/10346/[email protected]> whereas a recent e-mail about a PR has Message-ID: <dlang/phobos/pull/10570/[email protected]> 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
