To be honest I'd like to have Bumgarner better, we'll be in the playoffs for sure, what we need is a pitcher who can lead us to the WS, I believe Bumgarner is the guy
For me Cole was the best pitcher of 2019, but he was with the Astros and who knows what the hell they are doing to transform the pitchers they get, with the Pirates he was good, but not this good. If they are cheating with the signals they might be doing something with the pitchers.
I won't be upset if we get Cole, but he's not my first or second choice (I like Stras over him too)