Bugzilla to GitHub Issues Migration

[CM]

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.