Re: [arch-dev-public] rebuilding the whole core repo