Notes on how to find the built repo