Skip to content

Conversation

@airamare01
Copy link
Contributor

Pull Request approval

This PR introduces a change faced by a couple of customers regarding contextFilters on inline edits. The change introduces a quick workaround to unblock them.
You will need to get your PR approved by at least one member of the Sourcegraph team. For reviews of docs formatting, styles, and component usage, please tag the docs team via the #docs Slack channel.

@vercel
Copy link

vercel bot commented Feb 12, 2025

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
sourcegraph-docs ✅ Ready (Inspect) Visit Preview 💬 Add feedback Feb 12, 2025 0:50am

Copy link
Contributor

@morgangauth morgangauth left a comment

Choose a reason for hiding this comment

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

LGTM - thanks for including this!

@airamare01 airamare01 merged commit a0ffd88 into main Feb 12, 2025
5 checks passed
@airamare01 airamare01 deleted the doc/context-filters-error-workaround branch February 12, 2025 18:57
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.

3 participants