All-Star Game decided by a HR derby if tied after 9 innings

MLB All-Star Game extra innings, explained: Home run derby will decide 2023 ASG winner

MLB All-Star Game: How bettors will be impacted by new tiebreaker

All-Star Game tie would be ended by a home run derby - The Washington Post

If All-Star Game decided by HR derby, final score stays same

MLB new rules: All-Star Game just got more awesome

All-Star Game to be decided by a HR derby if tied after 9 innings

Castrovince] It's officially official: Should the All-Star Game be tied after nine innings, the game will be settled via a Home Run Derby. Each manager will select three batters to participate, and

Ties in baseball would be better than MLB's extra-inning silliness