Bugzilla to GitHub Continued

[Nick Treleaven]

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.