I don't have a credentials.xml. I don't know why. Did it get replaced? #Jenkins
so, I think logging in to jenkins isn't covered by the credentials.xml
I have since learned that the customer is using the CloudBees Role-Based Access Control Plugin. I'm not sure there is going to be a way to migrate those permissions, since they won't be able to use the plugin