Permalink
ReplyOn Saturday, 7 December 2024 at 21:12:10 UTC, Steven Schveighoffer wrote:
>Can we give the dlang migration bot a gravatar, so I can distinguish it from others?
-Steve
done
18 hours ago Re: Bugzilla Issue migration to github (phobos) | ||||
|---|---|---|---|---|
| ||||
 Posted in reply to Steven Schveighoffer | ||||
18 hours ago Re: Bugzilla Issue migration to github (phobos) | ||||
|---|---|---|---|---|
| ||||
Posted in reply to Nicholas Wilson | 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 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 | |||
7 hours ago Re: Bugzilla Issue migration to github (phobos) | ||||
|---|---|---|---|---|
| ||||
 Posted in reply to Robert Schadek | On Sunday, 8 December 2024 at 10:42:36 UTC, Robert Schadek wrote: >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. Done | |||
Copyright © 1999-2021 by the D Language Foundation