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

Delete omnisharp.json (clean up repo root) #27038

Merged
merged 1 commit into from
Jan 10, 2025
Merged

Conversation

jfversluis
Copy link
Member

@jfversluis jfversluis commented Jan 9, 2025

Description of Change

With the introduction of C# Dev Kit I don't think this file is needed anymore.

Issues Fixed

Related to #26068

@jfversluis jfversluis added t/housekeeping ♻︎ area-infrastructure CI, Maestro / Coherency, upstream dependencies/versions labels Jan 9, 2025
@Copilot Copilot bot review requested due to automatic review settings January 9, 2025 15:14
@jfversluis jfversluis requested a review from a team as a code owner January 9, 2025 15:14

Choose a reason for hiding this comment

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

Copilot reviewed 1 out of 1 changed files in this pull request and generated no comments.

@jfversluis jfversluis enabled auto-merge (squash) January 9, 2025 16:02
@jfversluis jfversluis changed the title Delete omnisharp.json Delete omnisharp.json (clean up repo root) Jan 9, 2025
@jfversluis jfversluis disabled auto-merge January 10, 2025 12:58
@jfversluis
Copy link
Member Author

Failing test unrelated.

@jfversluis jfversluis merged commit b7c808e into main Jan 10, 2025
102 of 104 checks passed
@jfversluis jfversluis deleted the delete-omnisharp branch January 10, 2025 12:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area-infrastructure CI, Maestro / Coherency, upstream dependencies/versions t/housekeeping ♻︎
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants