Bugzilla to GitHub Issues Migration

[Timon Gehr]

On 6/23/23 10:42, Vladimir Panteleev wrote:
> 
>> I think this is just stalling stuff
> 
> No. Please, let's get this right. If you are not interested in ensuring 
> we do everything to get it right, please let me know and I'll continue 
> from here.
> 
> As I mentioned at the meeting from 2021, I'm not against migrating, but 
> it needs to be done well so that we have no regrets afterwards.

+1.