Closed internet-catte closed 4 months ago
:server1.test 371 a :Build date: Wed, 22 May 2024 22:12:16 +0000
I don't think build date is actually what we want here - the commit date would be far more useful.
should the build time be used if the tree is dirty?
No, unless you can think of a way it would be meaningfully useful. Commit date is useful because if you're trying to quickly identify which servers do or don't have a given fix applied, you can filter on commit date without needing the git log to know which commit IDs contain the one you're after. Build date doesn't tell you that and can be actively misleading if you're unlucky.