Hi, Since all of MXNet's development happens on Github, I think it's sufficient to use Github Issues and Github Projects for tracking. There are also many other plugins you can add to Github if issues and projects are not enough.
It's very easy to cross reference PRs and issues for tracking. In comparison, JIRA is an outdated system with very little features and no integration with Github. I think using it achieves nothing but additional overhead. Thanks, Eric
