7:01pm: An agreement has been reached, per Jeff Passan of ESPN. Seven-inning doubleheaders will take effect Aug. 1.

6:12pm: Major League Baseball and the union are moving toward an agreement on 2020 doubleheaders, Ken Rosenthal and Jayson Stark of The Athletic reports. If the two sides reach a deal, doubleheaders would consist of a pair of seven-inning games, but it would only be for this year, according to Rosenthal and Stark.