Avoid processing the same repo twice at the same time.