Cleaning up not used mirror directories

[mbologna]

Whenever we change minima.yaml and remove a source mirror, the corresponding directory still remains in the mirror file-system. Idea: adding a small script that checks for every ^path in minima.yaml and deletes (if configuration allows) every directory inside /srv/mirror that does not have a corresponding item in minima.yaml. Thoughts?

[mbologna]

Small script (to be polished) to list orphaned directories:

https://gist.github.com/mbologna/075a3ebb70b70b26bf0fcdbb4513ea81

[srbarrios]

Still a good idea.