Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
JIRA issues #9
With the introduction of the 'Projects' feature in GitHub, we decided to retire JIRA, which we have used so far for issue tracking and planning. All open issues will soon be moved to GitHub. Apologies in advance for the number of mails you will receive in case you are watching the repository.
This issue serves as a placeholder for already closed JIRA issues as of Nov 4, 2016. A summary of these issues is attached (rename as CSV files are not supported by GitHub).