Closed josephl310 closed 2 years ago
Only copy files in instructor workspace Disable default github authentication extension Comment Dockerfile Use OpenVSX as default extension gallery
Merging in because changes were already approved in private repo
Only copy files in instructor workspace Disable default github authentication extension Comment Dockerfile Use OpenVSX as default extension gallery