git diff --name-only HEAD produced no tracked changes.
