This repository was archived by the owner on Jun 21, 2023. It is now read-only.
This repository was archived by the owner on Jun 21, 2023. It is now read-only.
GitHub Pane shows "No repository" while initializing #1357
Description
While the GitHub pane is initializing after loading or when the active repo has changed, we show:
It would be better to show a spinner here.