> BTW, what's the reason to continue the new build infrastructure development > in a separate project (build-infra), not in the master workspace?
There are strict formal rules on the build forest, that every single commit should have a WebRev and a CR. That would be highly impractical since build-infra is still under active development. /Magnus