Checking in on the players the Astros gave the Pirates for Gerrit Cole

In January 2018, the Astros took a big swing trading for Gerrit Cole, giving the Pirates four players in a deal for a pitcher they could pair with Justin Verlander at the front of their rotation.

source https://www.chron.com/sports/astros/article/Players-Astros-deal-Pirates-Gerrit-Cole-trade-14495723.php