Merge "Move jenkins credentials for devops_portal to devops_portal"