Bugzilla to GitHub Issues Migration

[Walter Bright]

On 6/23/2023 6:01 AM, Mike Parker wrote:
> For the record, I intend to create a special account for adding the issues to 
> GitHub (e.g., "bugzilla_migration"). I certainly don't want them all in my name. 
> I don't see how we can post them as the original user, though. From what I 
> understand, it requires the id and a token.

Can we add the original contributor as a comment?