It could be I was running a pull -c for a subset of the files.
Do you know the effect of a network disconnection while doing that?
Could it affect the status of files not being pulled -c that are
in the same batch?

After thinking it twice, I think I agree that it cannot happen,
so I think it all had to be a mistake on my side, sic.

thanks a lot