# A unified diff carries its own whitespace and none of it is ours to clean up.
#
# Every context line in a patch is prefixed with a space, so an empty context line
# is a line holding one space, and a tab-indented context line is a space followed
# by a tab. `git diff --check` reports both as errors because it cannot tell it is
# reading a patch rather than source, and stripping either would stop the patch
# applying. So whitespace checking is off for these, and only for these.
bench/subjects/*/changes.patch -whitespace

# A recorded run keeps its traffic log compressed, and a gzip stream is not text.
# Marked rather than left to detection, because the one thing that must never happen
# to it is a line-ending conversion on the way through a checkout.
bench/runs/**/*.tar.gz binary
