# Generated by the harness (useful if this dir is ever published standalone;
# the whole launch/ tree is already gitignored in the parent repo).
repos/
manifests/
out/
