Skip to content

Conversation

@felicitymay
Copy link
Contributor

There are only minor changes needed to the docs for the VS Code extension.

Reviewers, it would be great to get this merged before the next release candidate branch is created.

@felicitymay felicitymay requested a review from a team as a code owner February 28, 2024 11:34
@felicitymay felicitymay added the ready-for-doc-review This PR requires and is ready for review from the GitHub docs team. label Feb 28, 2024
shati-patel
shati-patel previously approved these changes Feb 28, 2024
Copy link
Contributor

@shati-patel shati-patel left a comment

Choose a reason for hiding this comment

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

Updates look good! 📝

(Minor side note—not from this PR, just looking at the preview: There's a .. tip:: box on this page which isn't really styled correctly. Might be worth changing that to a .. pull-quote:: to match the other boxes?)

subatoi
subatoi previously approved these changes Feb 28, 2024
Copy link
Contributor

@subatoi subatoi left a comment

Choose a reason for hiding this comment

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

Thank you, particularly for updating the screenshots ❤️

@felicitymay felicitymay dismissed stale reviews from subatoi and shati-patel via efff014 February 28, 2024 15:33
@felicitymay
Copy link
Contributor Author

Thanks for the rapid reviews 💖

I've made the change @shati-patel requested, so this is probably ready to merge when one of you has time to give it a 👍🏻

Copy link
Contributor

@subatoi subatoi left a comment

Choose a reason for hiding this comment

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

No reason to think CI won't pass 👍

@felicitymay felicitymay merged commit ca1a27d into main Feb 28, 2024
@felicitymay felicitymay deleted the 13332-codeql-model-editor-csharp branch February 28, 2024 15:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation ready-for-doc-review This PR requires and is ready for review from the GitHub docs team.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants