diff options
| author | Erich Eckner <git@eckner.net> | 2017-11-01 11:37:20 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-11-01 11:37:20 +0100 |
| commit | 5b8ddbb077b90647d8010ad5e03f933e00d5e731 (patch) | |
| tree | c69d2ce6a9cf93c2ac38bc6b48cc99e98f02c315 | |
| parent | ad463afa2d41e42463476e43436eac224bac1de3 (diff) | |
| download | builder-5b8ddbb077b90647d8010ad5e03f933e00d5e731.tar.xz | |
bin/db-update: remove TODO
| -rwxr-xr-x | bin/db-update | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/bin/db-update b/bin/db-update index d62497e..7c26b9f 100755 --- a/bin/db-update +++ b/bin/db-update @@ -10,8 +10,6 @@ # b) no done package B (in a not-more stable repository) which is # not being moved run-depends on A -# TODO: be (even?) more atomic - # TODO: separate locks for staging, testing (and stable) # TODO: handle deletion of parts of a split package |