Bugzilla Issue migration to github (phobos)

[Robert Schadek]

On Sunday, 8 December 2024 at 01:00:02 UTC, Nicholas Wilson wrote:
>> Can you wait a bit before doing DMD for me to fix/group labels?
>>
>> And definitely make sure that the DMD issues have a dedicated 
>> label to distinguish them from the druntime issues, which I am 
>> now going to go through and add.

Do you have a timeline in mind. I definitely want to migrate dmd 
this year.

>
> Specifically please map
> * the Severity field to `Severity:Foo` labels, not `Foo`.
> * the operating System field to `OS:Foo`
>
> The migration should not create any new labels that don't exist 
> (except for the priority P1-P5 labels), with the notable 
> exception of a DMD label.

I'll see what I can do