Fix repository update if it was not modified.
Do not retry to fetch non-existent files.

Miracles won't happen: if a server tells that a file does not exist,
then we shouldn't try to fetch it again and again.