Update push-all.sh