Richard Hartmann f66bc5f928 Always show which directory is not a git repository 16 years ago
..
git-new-workdir Always show which directory is not a git repository 16 years ago