diff options
| author | Erich Eckner <git@eckner.net> | 2019-12-06 08:27:46 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-12-06 08:27:46 +0100 |
| commit | b822396f6e33ae68afcdbc93535a97ce4571a86a (patch) | |
| tree | 17c72c6bd6918b1ce7120c1bd4eff3cb822bc2f4 /bin | |
| parent | 4d6658bed1a3e53b6dc0374634f748a48bd4c225 (diff) | |
| download | builder-b822396f6e33ae68afcdbc93535a97ce4571a86a.tar.xz | |
bin/bootstrap-mysql: expand TODO
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/bootstrap-mysql | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/bin/bootstrap-mysql b/bin/bootstrap-mysql index 5e43e9c..04b06bf 100755 --- a/bin/bootstrap-mysql +++ b/bin/bootstrap-mysql @@ -256,8 +256,10 @@ fi done done - # TODO: we might want to deliberately break packages that fail(ed) to build - # for quite some time + # TODO: We might want to deliberately break packages that fail(ed) to build + # for quite some time. Suggestion: packages with a failed build older than + # x days get removed from our lists, so their dependencies cannot hold + # back anything else. # packages which should not be replaced: ones providing something that is: # a) still needed by a not-replaced package x "less stable" than the target repository and |