> Something fun was proposed: add randomization to it. So, we pick 10 out > of the top 25 committers. The picking is done randomly, where your > win-chance is proportional to your commit count (p = your #commits / > total #commits) That's an interesting idea. I wonder how the randomization would be handled to ensure fairness?