Bugzilla to GitHub Issues Migration

[Vladimir Panteleev]

On Friday, 23 June 2023 at 13:01:35 UTC, Mike Parker wrote:
> 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.

The LLVM folks did it:

https://github.com/burner/D_bugzilla_to_github/issues/1

You can "claim your contributions", in which case they will 
appear as your personal GitHub account. If you don't do that, 
they will still be posted with the original user's name, as a 
special GitHub "mannequin" user.

We should research the possibility too.