As we discussed in our community meeting, we are in the process of
migrating issues from github to Jira. We have left comments on all issues
asking the owners to copy their issues to Jira (
). The github Issues tab will
be disabled after next Wednesday 23rd June.
If you have any questions please let us know