BTW, I like the github issue tracker over jira (aside from this proposal). The challenges i can think of are:
- Migrating existing bugs.
- Updating the merged PR’s which had references to Jira tickets: Do we go and update those references to the github issue tracker references. Or, we make the existing jira issue tracker read-only so the references are intact (for the old PRs), but any new activity happens in github issue-tracker (this could be confusing to users anyway)…