Hi, Have you considered migrating from Bugzilla to GitHub Issues?
I think co-locating issues and PRs at GitHub would make it easier to navigate between issues and PRs. GitHub allows richer comment formatting (e.g. code highlight). Moving issues to GitHub would simplify cross-references. For example, GitHub automatically adds a cross-reference for cases like https://github.com/gradle/gradle/pull/14150, so you can see which projects reference the same issue, and sometimes you could peek into the workarounds. I'm working on migrating Apache JMeter (Bugzilla -> GitHub Issues), see https://lists.apache.org/thread/xmccss17s6sm8wzcm56d7sr6py663s7w , and I have a migration script https://github.com/vlsi/bugzilla2github It preserves bugs, comments, attachments, and links between bugs. Here's a recent dry-run for JMeter: https://github.com/vlsi/tmp-jmeter-issues WDYT? Vladimir
