SINGA used JIRA to manage issues including bugs, new features and discussions. We are now moving to Github Issues.