void markCheckpointEdited( String checkpointKey, { DateTime? editedAt, }) { _editedCheckpointAtByKey[checkpointKey] = editedAt ?? DateTime.now(); revision.value++; }