Bugzilla to GitHub Continued

[Steven Schveighoffer]

On 7/5/23 12:01 PM, Nick Treleaven wrote:
> On Tuesday, 4 July 2023 at 10:34:44 UTC, Mike Parker wrote:
>> * the author of each issue and everyone on the CC list will have their 
>> GitHub handles `@` tagged in the initial comment
> 
> This might cause a lot of notifications for people who file/comment a 
> lot of bugs. It would probably swamp any important normal notifications 
> for regular contributors that could get lost in the sea of bugzilla 
> migration notifications.

Being tagged means you will get further notifications for new comments 
on the bug report. How does it work if you aren't tagged?

I think it would be pretty easy to announce when the migration is 
happening, and you just delete all the messages on that day.

-Steve