Add a code to delete .github-todos