Update push documentation for new workflow