Typst not syncing to GitHub

Hi,
I have a typst project on the web app which I synchronized with a private github repo. The project has a single main.typ file, and since in the sync settings I selected a directory called src in the repo, I was expecting a file src/main.typ to appear in the repo, but this didn’t happen and the repo remains empty.

Should I manually trigger the sync somehow? At which frequency it is supposed to take place?

Hello, you should have two arrow buttons on the top right part of your screen, next to the “Share” and “Export” buttons. One is for pulling new changes from GitHub, the other to push what you wrote in Typst. Changes are never synced automatically.

image

1 Like