Bugzilla Issue migration to github (phobos) (page 4)

On Tuesday, 3 December 2024 at 11:59:23 UTC, Manu wrote:

Yeah, sure; I deleted them. I just think that emailing hundreds or
thousands of emails to potentially hundreds or thousands of people is
bad-form... (...)
I'm just astonished this is somehow controversial.

I think everyone agrees that GitHub sending people a seperate email for every moved issue is undesirable. Just some people think Bugzilla sending an email to each participant of every moved issue is reasonable.

There are exactly 108 watchers in the Phobos repository, and 158 in the dmd repository. When dmd/druntime issues get moved, a subset of those 158 watchers (depends on exactly what they watch) will receive a few thousand emails in my estimation, which is annoying, but when they tell GitHub to get notified of "all activity", I don't know if there's a way to override that. If there is, I suggest Robert to use it.

Otherwise, we'll just have to bit the bullet and get it over with.

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@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. ;)

On Sunday, 1 December 2024 at 19:26:25 UTC, Robert Schadek wrote: > Next I'll move druntime and dmd (this year). Could we please have the display name of the message author mentioned instead of the local-part of the email address?

On Saturday, 7 December 2024 at 01:30:02 UTC, Elias (0xEAB) wrote: > Could we please have the display name of the message author mentioned instead of the local-part of the email address? For the issue creator yes, for people commented not.

December 08

Re: Bugzilla Issue migration to github (phobos)

Posted by Nicholas Wilson
in reply to Nicholas Wilson

Permalink

Nicholas Wilson

Posted in reply to Nicholas Wilson

Permalink

On Sunday, 8 December 2024 at 00:15:37 UTC, Nicholas Wilson wrote:

On Saturday, 7 December 2024 at 13:45:35 UTC, Robert Schadek wrote:

On Sunday, 1 December 2024 at 19:26:25 UTC, Robert Schadek 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.

druntime issues has been moved as well

Can you wait a bit before doing DMD for me to fix/group labels?

And definitely make sure that the DMD issues have a dedicated label to distinguish them from the druntime issues, which I am now going to go through and add.

Specifically please map

the Severity field to Severity:Foo labels, not Foo.
the operating System field to OS:Foo

The migration should not create any new labels that don't exist (except for the priority P1-P5 labels), with the notable exception of a DMD label.

Forums