Pull: repoProg: Open only if there were repos with changes.