Lots of people commenting here about how easy it must be to shard mysql at GitHub scale...