I'm not opposed, in theory. I think it would be a handy feature myself. I just don't know how difficult it would be in practice. The checkpoint identifier is actually the github tag name. So we would probably have to get creative to have a "note" value that was associated with each github tag. Perhaps the commit message for the tag, or an annotated tag?
No promises, but I do like the notion.
Last edited by DiapDealer; 10-04-2022 at 03:26 PM.
|