Thanks for the sanity check! I guess I'll commit it for future reference, since I'm such a paranoic freak.
As for the web-indices, hm, you mean moving the old 19.10 raspi images to old-releases/eoan right before running publish-image-set, right? That does sound like a good idea, might save some hand-editing indeed. Thanks!
Thanks for the sanity check! I guess I'll commit it for future reference, since I'm such a paranoic freak.
As for the web-indices, hm, you mean moving the old 19.10 raspi images to old-releases/eoan right before running publish-image-set, right? That does sound like a good idea, might save some hand-editing indeed. Thanks!