Remove some TODOs (#6488)

* Remove stale TODOs

* Ban TODO markers from markdown

* Scrub all TODOs from ci/ and book/
This commit is contained in:
Michael Vines
2019-10-21 22:25:06 -07:00
committed by GitHub
parent 1b1980ad49
commit f80a5b8c34
16 changed files with 27 additions and 94 deletions

View File

@@ -57,7 +57,7 @@ declare useGithubIssueInsteadOf=(
#'TODO' # TODO: Uncomment this line to disable TODOs
)
if _ git --no-pager grep -n --max-depth=0 "${useGithubIssueInsteadOf[@]/#/-e }" -- '*.rs' '*.sh'; then
if _ git --no-pager grep -n --max-depth=0 "${useGithubIssueInsteadOf[@]/#/-e }" -- '*.rs' '*.sh' '*.md'; then
exit 1
fi