How to refresh GitHub repo list Typst.app Pro

I recently created a new empty GH repo and tried to add it to a project in the webapp via settingsconnect to version control system. However, the new repo doesn’t show in the drop down list.

Sometimes I can get the list to refresh doing

Then cancel, and then go back to the existing project. However, the behavior is inconsistent. I’ve gone days after creating a repo before it was available in Typst.

Is there a way to manual force a refresh of the repo list?

Hi! In principle, the list isn’t stored anywhere on our side, but it isn’t automatically refreshed in an existing tab. Did you try reloading the tab after creating the repository?

What do you mean by tab?

I tried reloading the project. I also tried logging out/in of Typst.

The browser tab that is currently opened and where the said action took place.

Closing the tab and reopening forced a refresh and worked. When I clicked connect to a version control system I got a spinning wheel in typst and then the new repo was available. I never had the spinning wheel before closing the tab.