Handle deleted git directories as non-repositories (#1907)

Browse files
JMJulius Marminge committed 6 months agoe0e01b4parent 58e5f71