Bugzilla to GitHub Issues Migration

[Vladimir Panteleev]

On Thursday, 22 June 2023 at 18:56:19 UTC, Walter Bright wrote:
> On 6/21/2023 9:46 AM, Mike Parker wrote:
>> If you're aware of anything out there that we need to consider 
>> once the issues are migrated, please let us know here.
>
> Need an algorithm where links to bugzilla will be converted to 
> the correct github issue link.

I think this is doable in the following way:

1. Create a new GitHub repository, e.g. github.com/dlang/issues
2. Transfer the issues from Bugzilla, taking care to preserve the 
issue number. So, https://issues.dlang.org/show_bug.cgi?id=12345 
is recreated at https://github.com/dlang/issues/issues/12345
3. Move the issue from the issues project to the corresponding 
project (e.g. dmd).

Moving the issue will leave behind a redirect, so that 
https://github.com/dlang/issues/issues/12345 will continue to 
work and therefore allow a trivial remapping. This will be useful 
should we eventually decide to completely retire Bugzilla and 
replace it with a site that only hosts redirects.