Change in jenkins[master]: manual ost: added an option to choose a fallback repo.