Enable GitHub Enterprise Server#183

Merged

felipesu19 merged 5 commits intogithub:mainfrom

Jun 14, 2023

Commits on May 8, 2023

Enable GitHub Enterprise Server
flmeyer
committed

Commits on May 12, 2023

Add option to VSCode declaration
flmeyer
committed
Restart language server on config change
flmeyer
committed
Fix GitHub context not being refreshed on config change
flmeyer
committed

Commits on May 24, 2023

fix lint, implement suggestions
flmeyer
committed