Why is D unpopular, redux.

[Tejas]

On Thursday, 26 May 2022 at 13:04:43 UTC, Mike Parker wrote:
>
> On Thursday, 26 May 2022 at 12:24:34 UTC, mee6 wrote:
>>
>> Bugzilla is convoluted, what ever happened to switching to 
>> github? You wouldn't have this problem with github.
>
> It’s happening. Robert Schadek is expected to be ready with the 
> migration script next month. He’s doing a related talk at DConf.
>
> https://dconf.org/2022/

So... what happened to Vlad's bugzilla harmony proposal? It's 
decided that we're moving to GitHub issues?