Jeff King [off-list ref] writes:
+ die("'%s' does not appear to be a git repository", dir);
It may be sensible to distinguish the case where dir exists as a
directory but isn't a repository, and the case where it does not exist
at all, like "directory exists but does not appear to be a git
repository" Vs "no such directory".
Just in case someone does a "mkdir" on the server and doesn't know he
has to "git init" there too.
My 2 cents,
--
Matthieu