Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Simpler implementation of comments near Civet directives #790

Merged
merged 1 commit into from
Oct 29, 2023

Conversation

edemaine
Copy link
Collaborator

This is a followup to #783 implementing the suggestion in #783 (comment)
I think the code is cleaner, in particular because it doesn't gobble up one or two newlines depending on context.

The new test passes with and without this change, though.

@edemaine edemaine temporarily deployed to build October 29, 2023 18:00 — with GitHub Actions Inactive
@edemaine edemaine merged commit a9c4dd7 into main Oct 29, 2023
2 of 3 checks passed
@edemaine edemaine deleted the directive-comments branch October 29, 2023 21:34
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