We have acquired minor league infielder Marco Vargas and minor league catcher Ronald Hernandez from Miami in exchange for RHP David Robertson.

— New York Mets (@Mets) July 28, 2023