Commit
2b2c44d
Yes, should be fine. I just tested it.
I made a commit at 22:30 Rome time, then ran it as if I were in Tokyo. Rome's "16 October" picks it up, Tokyo's doesn't, which is correct since over there it was already 05:30 the next day.
Everything gets compared as epoch seconds, so the…