Use 24h format for hours in the timestamp example

This probably wouldn't matter much, but using 12h format would mean that a migration done at 10am would come after a migration done at 2pm