git-mirror
git-mirror copied to clipboard
Cleanup workdir if mirror repositories are removed
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.