One-way sync for github issues to a todo.txt file