Tweak publish.sh
Tweak publish.sh

hpehl/hal.next,michpetrov/hal.next,michpetrov/hal.next,hal/hal.next,michpetrov/hal.next,hpehl/hal.next,michpetrov/hal.next,hpehl/hal.next,hpehl/hal.next,hal/hal.next,hal/hal.next,hal/hal.next