Hi Andreas, On Wed, Jan 31 2024, Andreas Enge wrote:
> We should be able to do a world-rebuild not once or twice a year, but > at least every month How about a 48-hour period every month in which commits are permitted even if they cause "world rebuilds"? We could pause the substitute builders during that period. It would get rid of core-updates forever. Kind regards Felix