Bugzilla to GitHub Issues Migration

[Vladimir Panteleev]

On Thursday, 22 June 2023 at 20:09:54 UTC, CM wrote:
> On Wednesday, 21 June 2023 at 16:46:06 UTC, Mike Parker wrote:
>> We're much closer now to pulling the trigger on the Bugzilla 
>> to GitHub issues migration. Robert has fixed the blocker in 
>> the app he wrote to perform it, and he and I have both 
>> confirmed that it works as expected on a test repository.
>>
>> [...]
>
> May one assume that the investigation into using a newer 
> version of bugzilla (e.g. mozilla's instance) didn't pan out 
> well? Just curious is all.

1. I never received the missing data from the current Bugzilla's 
admin... :(

2. Ideologically, it's an uphill battle as almost everyone just 
wants to use GitHub, and would not prefer to use Bugzilla no 
matter how good it is.