[crawler] resync known repos a newly followed pds lists at a newer rev

4e3f6392 parent 8c140637 +124 −20
browse files