summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbin/return-assignment8
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