Fix repository deletion bug where the Lucene ticket index was not purged
Merged #174 "Fix repository deletion bug where the Lucene ticket index was not purged"