Don't pull this. It's only to repair jenkins!