make auto_push optional