Update push_or_pr_to_robot.sh