3 commits

Author	SHA1	Message	Date
Michael Eischer	defd7ae729	prune/repair index: reset in-memory index after command ... The current in-memory index becomes stale after prune or repair index have run. Thus, just drop the in-memory index altogether once these commands have finished.	2024-04-14 13:46:24 +02:00
Michael Eischer	310db03c0e	repair index: improve log output if index cannot be deleted ... The operation will always fail with an error if an index cannot be deleted. Thus, this change is purely cosmetic.	2024-04-14 13:45:13 +02:00
Michael Eischer	866ddf5698	repair index: refactor code into repository package	2024-04-10 21:30:52 +02:00