diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/return-assignment | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/bin/return-assignment b/bin/return-assignment index e24afa6..ba08a18 100755 --- a/bin/return-assignment +++ b/bin/return-assignment @@ -19,6 +19,14 @@ # TODO: remove hard-coded package suffixes +# TODO: Vanishing packages are split packages, where one part is on the +# deletion-list and one is in a regular package. Someone sees the +# deletion-list package and deletes *both* (same build_assignment) +# without removing the real package from the mirror. Questions: 1. Do we +# want to have a package on the deletion-list and in a repository in the +# first place? 2. What should happen, should one decide to delete the +# deletion-list package? + # shellcheck disable=SC2119,SC2120 # shellcheck source=../lib/load-configuration |