How do you ensure that all your server times are perfectly synched? Or is there just one server? This seems somewhat doubtful. What happens when I push after a

How do you ensure that all your server times are perfectly synched? Or is there just one server? This seems somewhat doubtful. What happens when I push after a negative leap second? What happens if the system clock is randomly skewy (see the relevant Rachel by the Bay article).