Task #7172
closed
Delete a distribution along with a push repository
100%
Description
When a push repository is going to be deleted, a distribution that references this 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.
Related issues
Updated by lmjachky almost 4 years ago
- Related to Story #7013: Disallow update/partial_update of a push repo via pulp api added
Updated by dkliban@redhat.com over 3 years ago
Yes, we should only allow users to delete Push repositories via Pulp's REST API. If the delete occurs while a user is pushing to this repository, at some point the user will start getting a 404 response from the registry API.
Updated by mdellweg over 3 years ago
- Status changed from NEW to ASSIGNED
- Assignee set to mdellweg
Updated by pulpbot over 3 years ago
- Status changed from ASSIGNED to POST
Added by mdellweg over 3 years ago
Added by mdellweg over 3 years ago
Revision 9cf3853f | View on GitHub
Delete push repositories with their distribution
Both entities can be used to trigger the deletion, and the deletions are coordinated in an atomic transaction.
Updated by mdellweg over 3 years ago
- Status changed from POST to MODIFIED
- % Done changed from 0 to 100
Applied in changeset 9cf3853fb6b516816e41822e5adcb804b3837abf.
Updated by pulpbot over 3 years ago
- Status changed from MODIFIED to CLOSED - CURRENTRELEASE
.
Delete push repositories with their distribution
Both entities can be used to trigger the deletion, and the deletions are coordinated in an atomic transaction.
fixes #7172 https://pulp.plan.io/issues/7172