The checkout done by Jenkins is not exactly the same