(2) configure "include.path" to point at "~/.git-profile/open" at
the very end
I'd rather have it ~/.config/git/profile/ (or
$XDG_CONFIG_HOME/git/profile if $XDG_CONFIG_HOME is set), but the
proposal makes sense.
--
Matthieu Moy
http://www-verimag.imag.fr/~moy/