Stop repository if the directory disappears (fixes #154)

This commit is contained in:
Jakob Borg
2014-05-04 18:20:25 +02:00
parent 482795bab0
commit f39e105101
8 changed files with 78 additions and 10 deletions

File diff suppressed because one or more lines are too long