If the todo.txt line is closed, close the Github issue.
If the todo.txt line is closed, close the Github issue.