Ignore repo update progress in pr-downloader.

This prevents the progress bar jumping to 100% and back.