pulumi prod index file