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

Support GitHub Copilot enterprise #441

Merged
merged 6 commits into from
Feb 21, 2024
Merged

Conversation

intitni
Copy link
Owner

@intitni intitni commented Feb 20, 2024

#440

Also bumped language server to 1.19.2

@intitni intitni added the enhancement New feature or request label Feb 20, 2024
@intitni intitni force-pushed the feature/github-copilot-enterprise branch from 0a311b7 to 0deae85 Compare February 20, 2024 14:49
@intitni intitni force-pushed the feature/github-copilot-enterprise branch from 0deae85 to af2f668 Compare February 21, 2024 13:01
@intitni intitni merged commit e09d808 into develop Feb 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant