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).