Hi, I prefer to JIRA, too.
The only concern is that some normal users are not familiar about JIRA, and maybe it is a bottleneck for them to report Bugs and Issues. It seems that there are some methods to integration JIRA with Github [1]. Best, Referecen: 1. https://www.atlassian.com/blog/jira-software/connecting-jira-6-2-github ----------------------------------- Xiangdong Huang School of Software, Tsinghua University 黄向东 清华大学 软件学院 Justin Mclean <jus...@classsoftware.com> 于2018年12月20日周四 下午4:39写道: > Hi, > > > I think we just let developer team decide what kind of issue system they > want to use. > > Have a discussion about on this list would be good. It can be changed > later so it’s not a big deal one way or the other. The proposal asked for > JIRA. > > Thanks, > Justin