I have a config in my settings.json
called codespaces.defaultExtensions
which includes github.vscode-pull-request-github
. Normally, when I launch a Codespace, the extension is installed and ready to use.
Since today, however this does not work properly any more. When I launch my Codespace in Google Chrome, everything works fine. I see GitHub extensions icon on the left hand side, I can click on it and interact as expected. See this screenshot:
But when I launch the same Codespace inside VSCode, the extension’s icon goes missing on the left hand side, see this screenshot:
When looking for github.vscode-pull-request-github
in the extensions view, the extension shows up grayed-out and is marked as “Built-in”. I can’t activate or deactivate the extension or install or uninstall it. See this screenshot:
I also could not figure out a way to bring it’s icon back on the left.
What’s going wrong here?