Bugzilla Issue migration to github (phobos)

[Dennis]

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.