fixed duplicated repository id.

that duplication prevents profile to be set and jenkins plugin is not downloaded.