Distribution tree is not removed with a repository
CLOSED - NOTABUG
Distribution tree is not removed with a repository.
As dist_tree should be connected to repository it should be removed with repo.
- sync repository with distribution tree
- remove this repository and check if distribution tree is still present