Should we turn off Github issues?

[mrjn (Manish R Jain)]

The other decision that needs to be made is, do we continue to update issues on Github, while tracking and executing all of them in Trello as well?