Bugzilla Issue migration to github (phobos)

[Nicholas Wilson]

On Sunday, 8 December 2024 at 00:15:37 UTC, Nicholas Wilson wrote:
> On Saturday, 7 December 2024 at 13:45:35 UTC, Robert Schadek 
> wrote:
>> On Sunday, 1 December 2024 at 19:26:25 UTC, Robert Schadek 
>> wrote:
>>> Earlier today I migrated the phobos' bugzilla issues from 
>>> bugzilla to github https://github.com/dlang/phobos/issues
>>>
>>> Next I'll move druntime and dmd (this year).
>>>
>>> Sorry to taking so long.
>>
>> druntime issues has been moved as well
>
> 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.

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.