"git diff": do not ignore index without --no-index