a minor fix for not throwing Errors in pruneLocalRepos if topdir either doesn't exists or isn't a directory.
pruneLocalRepos
topdir
It's an odd place to catch this particular condition, but harmless I guess...
Commit f869eb41 fixes this pull-request
Pull-Request has been merged by mikem
a minor fix for not throwing Errors in
pruneLocalReposiftopdireither doesn't exists or isn't a directory.