[jenkins-ci PATCH 2/3] git-publish: Update config after repo rename