Hi, I think I'm ready for migration bugs to GitHub Issues.
If no objections, I suggest starting the migration on ~ 23 Sep 08:00 UTC. AFAIK JMeter Bugzilla is read-only now. The plan is 1) Temporarily pause GitHub interactions for apache/jmeter repository (prevent creating new PRs, issues) 2) Enable issues at apache/jmeter repository 3) Perform the import 4) Check import results 5) Unlock interactions in GitHub, allow creating issues and PRs Vladimir
