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

chore: codemirror-revert #2476

Merged
merged 10 commits into from
Feb 14, 2025
Merged

chore: codemirror-revert #2476

merged 10 commits into from
Feb 14, 2025

Conversation

vivek-devtron
Copy link
Contributor

Description

Please include a summary of the change and which issue is fixed. Please also include relevant motivation and context. List any dependencies that are required for this change.

Fixes # (issue)

Type of change

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • This change requires a documentation update

How Has This Been Tested?

Please describe the tests that you ran to verify your changes. Provide instructions so we can reproduce. Please also list any relevant details for your test configuration

  • Test A
  • Test B

Checklist:

  • The title of the PR states what changed and the related issues number (used for the release note).
  • Does this PR require documentation updates?
  • I've updated documentation as required by this PR.
  • I have performed a self-review of my own code
  • I have commented my code, particularly in hard-to-understand areas

@github-actions github-actions bot added the PR:Ready-to-Review PR:Ready-to-Review label Feb 13, 2025
AbhishekA1509
AbhishekA1509 previously approved these changes Feb 14, 2025
eshankvaish
eshankvaish previously approved these changes Feb 14, 2025
@vivek-devtron vivek-devtron merged commit 1c40d51 into main Feb 14, 2025
9 checks passed
@vivek-devtron vivek-devtron deleted the codemirror-revert branch February 14, 2025 11:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PR:Ready-to-Review PR:Ready-to-Review
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants