When would one repository contains more than one sivaFile?

[jianguda]

Hey, I thought that one repo should have exactly one siva file until I found one repo which contains 5 different siva files, whose url is "https://github.com/pegasus-isi/pegasus". So, when would one repository contains more than one sivaFile?

[vmarkovtsev]

Hi @ycaxgjd

We store git references with different roots in separate siva files. Refer to the paper, page 2 "cloning git repositories".

[jianguda]

Thanks!