convert-repo: use .git/objects/ rather than .git/HEAD to detect git repos
Is there an error message when trying to diff non-existing files?found: No such file or directorynot: No such file or directoryIs there an error message when trying to add non-existing files?found: No such file or directorynot: No such file or directory