How does BGA determine who gets ELO in case of a tie?

[Nansquee]

The game's rules say that in the case of a tie "both players share the victory."

Since that is not an option on BGA (why isn't it?) how is it determined who is awarded ELO points?

[Jellby]

A tie, in ELO terms, is half-win, half-loss. You lose a little ELO if you tie against a lower-ranked player, and win a little ELO if you tie against a higher-ranked player. A tie between same-ranked players is the expected result, so no ELO change would occur.

[kalyl34]

The game's rules say that in the case of a tie "both players share the victory." geometry dash

Since that is not an option on BGA (why isn't it?) how is it determined who is awarded ELO points?

Some games may resort to a random method to determine the winner in the event of a tie. This could involve using a random number generator or a predetermined tiebreaker mechanism to select one player as the winner.