Bugzilla to GitHub Issues Migration

[Johan]

On Wednesday, 21 June 2023 at 16:46:06 UTC, Mike Parker wrote:
> We're much closer now to pulling the trigger on the Bugzilla to 
> GitHub issues migration. Robert has fixed the blocker in the 
> app he wrote to perform it, and he and I have both confirmed 
> that it works as expected on a test repository.
>
> We have a planning session scheduled this week. Before I 
> initiate the migration, I need to make sure we're aware of all 
> of the consequences and how to handle them (e.g., dlang-bot, 
> moving Bugzilla to read-only, any instructions on the Wiki, 
> etc.).
>
> If you're aware of anything out there that we need to consider 
> once the issues are migrated, please let us know here.

I think your sentence here should read: "...that we need to 
consider *before* the issues are migrated..."

Do you have a link to a document that describes what the 
migration will do? (e.g. what will be done with the keywords, 
numbering, people on CC list, etc.)

-Johan