Bugzilla Issue migration to github (phobos)

[Nicholas Wilson]

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.