On Fri, Mar 19, 2021 at 04:19:16PM +0100, Andrea Bolognani wrote: > Since the string "ci" is already contained in the path, it > seems unnecessary to include it into the filename too: in fact, > we only do that for Dockerfiles and not for files in ci/cirrus, > even though those are generated the very same way. > > Signed-off-by: Andrea Bolognani <abologna@xxxxxxxxxx> Reviewed-by: Erik Skultety <eskultet@xxxxxxxxxx>