Hi, Part of the issues to consider is that If you use GitHub issues, having multiple repos you may need to enable issues in multiple places. This means more to manage and track. Having all issues for multiple repos on a single github repo also has issues.
I don’t think there’s an ideal solution here, I’ve used both JIRA and GitHub issues in the past and they both have their advantages and disadvantages. The PPMC needs to come up with a solution that everyone is willing to work with, even if it is not everyone first choice. It might be a good idea if each of the 13 PPMC members express their opinion or someone listed the possible options and people indicated their choice. A valid opinion would be "I’m fine with any solution”. Thanks, Justin