Track and submit issues in Github

All tasks are filed as issues in github.