scripts/publish-updates.sh: update path to repos
scripts/publish-updates.sh: update path to repos

gnuarmeclipse/plug-ins,gnuarmeclipse/plug-ins,gnuarmeclipse/plug-ins,gnuarmeclipse/plug-ins,gnuarmeclipse/plug-ins