diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/return-assignment | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/bin/return-assignment b/bin/return-assignment index ba08a18..e24afa6 100755 --- a/bin/return-assignment +++ b/bin/return-assignment @@ -19,14 +19,6 @@ # 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 |