Remove unused repositories from 'repos' folder #1
Description
Remove repositories that are no longer listed in a .repositories file. This may happen if a .repositories file ist changed or if another rootrepository parameter is set to another value.
{{ message }}