Will git ignore files in an exclusion file that is specified in a local ($GIT_DIR/config) "core.excludefiles" configuration option? I mistakenly ran "git config core.excludefiles=<file>", and I was curious whether this command actually has any effect. I know that "$GIT_DIR/info/exclude" is normally used for listing files that a single user wants exclude from a single repository. And I know that "git config --global core.excludefiles=<file>" is normally used for listing files that a single user wants to exclude from all repositories. But I didn't see any explicit documentation for whether "git config core.excludefiles=<file>" would exclude files for a single user in a single repository. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html