Update push.xml example