https://pantsbuild.org/ logo
#development
Title
# development
w

witty-crayon-22786

06/01/2020, 11:06 PM
4. we should polish our log entries (including https://github.com/pantsbuild/pants/pull/9927 , but going further to make it friendly)
đź‘Ť 1
@hundreds-breakfast-49010: this is green… i can merge?
h

hundreds-breakfast-49010

06/01/2020, 11:11 PM
ah yeah feel free
w

witty-crayon-22786

06/01/2020, 11:13 PM
oh, hm. i just noticed that you removed milliseconds there.
if we’re going to have timestamps at all, we need milliseconds.
@hundreds-father-404: 1 or 2 precision wouldn’t be milliseconds anymore… could dot it instead maybe.
a few things here: i think that the
utc
->
local
change is good, but independent of formatting in general
h

hundreds-father-404

06/01/2020, 11:16 PM
Ah, that’s what I was envisioning. It’s helpful to know
1.1
seconds vs.
1.9
seconds.
1.931
seems noisy
w

witty-crayon-22786

06/01/2020, 11:16 PM
there are probably a few things we should do about formatting.
h

hundreds-father-404

06/01/2020, 11:16 PM
Maybe
1.93
is fine, but yes, I think it should be dotted.