Skip to content

Comments

Road grading; cleans documentation; adds notion of well-defined annotation sameness#38

Merged
ljnelson merged 1 commit intomicrobean:mainfrom
ljnelson:edit-23
Feb 19, 2026
Merged

Road grading; cleans documentation; adds notion of well-defined annotation sameness#38
ljnelson merged 1 commit intomicrobean:mainfrom
ljnelson:edit-23

Conversation

@ljnelson
Copy link
Member

No description provided.

…ation sameness

Signed-off-by: Laird Nelson <ljnelson@gmail.com>
@ljnelson ljnelson self-assigned this Feb 19, 2026
@ljnelson ljnelson added documentation Improvements or additions to documentation road grading Road grading; i.e. general cleanup and editing annotations Annotation-related issues labels Feb 19, 2026
@ljnelson ljnelson merged commit 35eace2 into microbean:main Feb 19, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

annotations Annotation-related issues documentation Improvements or additions to documentation road grading Road grading; i.e. general cleanup and editing

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant