Kevin Guillaumond @kevinguillaumond@librem.one

@abosio Aha I thought about something crazier but similar to avoid the boring ET and the penalties at the World Cup: if the game is drawn after 90 minutes, you can make whatever changes you want to the lineup, to have the most fresh players if you want, before starting ET. Then if the game is still tied after 120 minutes, both teams are eliminated 🤪