Skip to content

improve spec export, minor test renaming#91

Merged
vagenas merged 2 commits into
mainfrom
filter-prose-comments-from-export
Jun 10, 2026
Merged

improve spec export, minor test renaming#91
vagenas merged 2 commits into
mainfrom
filter-prose-comments-from-export

Conversation

@vagenas

@vagenas vagenas commented Jun 10, 2026

Copy link
Copy Markdown
Member

No description provided.

Signed-off-by: Panos Vagenas <pva@zurich.ibm.com>
@vagenas vagenas requested a review from PeterStaar-IBM June 10, 2026 10:34
Signed-off-by: Panos Vagenas <pva@zurich.ibm.com>

@PeterStaar-IBM PeterStaar-IBM left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm!

@vagenas vagenas merged commit 9d1b660 into main Jun 10, 2026
10 checks passed
@vagenas vagenas deleted the filter-prose-comments-from-export branch June 10, 2026 11:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants