update 'description' in issue acb06210852087afceaf4d9e015e3c6b

This commit is contained in:
Sebastian Kuzminsky 2025-07-07 22:47:18 -06:00
parent 9c4df3e86d
commit 8ae970c92e

View file

@ -0,0 +1,5 @@
> should we also add timestamps to the comments in text? or should we just rely on the filesystem/git time?
I think the "creation time" of a comment is the commit time of the oldest
commit that touches the comment. We can get this from something like:
$ git log --pretty=format:%at entomologist-data -- ${ISSUE}/comments/${COMMENT}