Task #7172
Updated by lmjachky over 4 years ago
When a push repository is going to be deleted, a distribution that references this repository repository, needs to be deleted as well. **Question remains:** Should we DELETE a push repository via the pulp api? We should enable users to remove repos however there might be a race condition - a push to the repo X can happen while in the middle of push operation repo X can be deleted.
.