completed Issues now know when they were marked Done #24

Merged

seb merged 6 commits from done-time into main

2025-07-18 10:21:44 -06:00

Author	SHA1	Message	Date
Sebastian Kuzminsky	a3077ca313	`ent list FILTER`: add filter "done-time=[START]..[END]"	2025-07-16 21:59:17 -06:00
Sebastian Kuzminsky	bc2b1bd3c1	add API and CLI to get & set done-time of an issue	2025-07-16 21:51:27 -06:00
Sebastian Kuzminsky	3b33ed41f5	Issue: add `done_time` field This records the DateTime that the issue moved to the Done state (if any).	2025-07-16 21:50:44 -06:00
Sebastian Kuzminsky	3df76b89df	rename Issue and Comment `timestamp` to `creation_time` This is to make room for a second timestamp that records when the issue was marked Done.	2025-07-16 21:50:44 -06:00
Sebastian Kuzminsky	20c17f281b	`ent list FILTER`: the filter now takes multiple strings This is instead of a single big string with chunks separated by ":". ":" is used in RFC 3339 date-time strings (like "2025-07-16 21:23:44 -06:00"), so it's inconvenient to reserve ":" to be the chunk separator. I'm not super wedded to this new Vec<String> way of doing the filter, but it seems fine and convenient for now.	2025-07-16 21:50:44 -06:00
Sebastian Kuzminsky	5e5508a2ee	Issue: make a helper function to commit an Issue This improves code reuse and streamlines the code a bit.	2025-07-16 21:50:42 -06:00