FYI there is a command to ignore specific files locally: git update-index --skip-worktree <file_name> from here. And you can later unignore it with --no-skip-worktree