Very possibly.... I honestly didn't look at it that carefully, and I'm unfortunately not going to have time to do so. What I was *hoping* defaultCredentials meant was "the default credentials for the primary remote of this job". If that's not the case, then this change isn't a huge improvement. If it were to be replaced by what I actually meant, then it would be :-)