The users collection is sorted by creation time (when the user was initially created on Progres) and then by score (descending). This means that the tiebreaker for users with the same score is simply whoever used Progress first.
This isn't very fair, I would prefer to sort by the time of the user's last pull request instead so that the first user to get to a certain score will keep their position until someone gets a higher score. In other words, whoever gets a score first beats the tie for that score.
The users collection is sorted by creation time (when the user was initially created on Progres) and then by score (descending). This means that the tiebreaker for users with the same score is simply whoever used Progress first.
This isn't very fair, I would prefer to sort by the time of the user's last pull request instead so that the first user to get to a certain score will keep their position until someone gets a higher score. In other words, whoever gets a score first beats the tie for that score.