Cleanup workdir if mirror repositories are removed #5
Description
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.