[mathgladiator]

I would go with git because git is what the cool kids use. At least, this is why I chose it. Herding mentality generally isn't a good reason, but herding works in figuring out who you want to work with.