Astros starter Gerrit Cole just left the bullpen and went straight into the clubhouse. Chris Devenski is warming up.

— Chuck Garfien (@ChuckGarfien) August 14, 2019