Before noon local time, he will likely learn that he will be pitching in the All-Star Game. An hour later, he will get to pitch against an Astros lineup that is one of the weakest in the majors. This could be a pretty good day. “It’s nice to just be ...