Fix reponames

Change-Id: I44c56b3c78deefdd91b1d9febfc015d9c2e927b2
Signed-off-by: Ed Warnicke <eaw@cisco.com>

diff --git a/jjb/vpp/include-raw-vpp-maven-push.sh b/jjb/vpp/include-raw-vpp-maven-push.sh
index 0cdf9bf..c940e1a 100644 (file)
--- a/jjb/vpp/include-raw-vpp-maven-push.sh
+++ b/jjb/vpp/include-raw-vpp-maven-push.sh
@@ -57,7 +57,7 @@ function push_jar ()
 function push_deb ()
 {
     debfile=$1
-    repoId=${REPO_NAME}
+    repoId="fd.io.${REPO_NAME}"
     url="${BASEURL}${REPO_NAME}"
 
     basefile=$(basename -s .deb "$debfile")
@@ -70,7 +70,7 @@ function push_deb ()
 function push_rpm ()
 {
     rpmfile=$1
-    repoId=${REPO_NAME}
+    repoId=fd.io.${REPO_NAME}"
     url="${BASEURL}${REPO_NAME}"
 
     if grep -qE '\.s(rc\.)?rpm' <<<"$rpmfile"