Jonathan Nieder <jrnieder@xxxxxxxxx> writes: > Regarding $GIT_DIR/config, it says "The filename is of course relative > to the repository root, not the working directory.". Is this out of > date? (Cc-ing Peff and Duy.) This is a per-repository, but not "part of the repository" in the sense "files tracked by Git" (i.e. it's not fetched by git clone). Having a $GIT_WORKTREE/.gitconfig file would be very nice, but raises a lot of security issues, so it's a much larger project (define which configuration values are allowed there, possibly take them into account at clone time, i.e. before checking out the files, and so on). Most likely out of the scope of my students' project ;-). -- Matthieu Moy http://www-verimag.imag.fr/~moy/ -- 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