make log_repr serialize PushBase