FYI in our last meeting we decided to stick with a single issue tracker for the next period, as we do not want to bind us too much on github. We’re in the process of splitting todo list in atomic issues, so that they can be tracked with PR and commits.
1 Like