Re: [PATCH 3/3] ci: Drop Debian 10

On Fri, Jul 22, 2022 at 12:56:00PM +0200, Peter Krempa wrote: While I don't have a serious issue with this patch which also conforms to our platform policy I don't think we need to always be so keen on dropping platforms ASAP manually. IOW I think all platform changes should be ideally be performed with lcitool, which however, won't be able to drop Debian 10 so soon sice QEMU will still likely rely on Debian 10 in their CI for a while unless matters around platform support have changed in QEMU??. Since you moved the CI workloads to Debian 11 in patch 2, leaving Debian 10 merely an optional job doesn't particularly harm anything. If nobody has any any objections against manually handling platform support rather than with lcitool, FWIW: # after the release Reviewed-by: Erik Skultety <eskultet(a)redhat.com&gt;