bachp opened this issue 6 years ago · 0 comments
Currently if a repository in Gitlab/Github doesn't exist anymore the local mirror is still kept.
To save space in the long term the repository should be removed once it is no longer needed.