Don't pull this. It's only to repair jenkins! Part 2 - restoring modules