GitHub integration doesn't show personal account repos after disconnecting and reconnecting

I previously had my personal GitHub account connected to Typst and it was working fine. I could see and sync with my personal repos. I disconnected the GitHub integration, and now when I try to reconnect, my personal repos no longer appear in the repository dropdown. Only repos from two other accounts show up (an org I belong to and another user who gave me access to one of their repos).

What I’ve tried:

  • Revoked the Typst OAuth app from GitHub (Settings → Applications → Authorized OAuth Apps)
  • Removed the Typst GitHub App from GitHub (Settings → Installations)
  • Disconnected GitHub from Typst account settings
  • Cleared site data for typst.app
  • Signed out and back into Typst
  • Reconnected GitHub in a fresh session

During the OAuth authorization flow, the screen correctly shows that Typst is requesting access to my personal account (public and private repos). I authorize it, and the connection completes. But when I go to link a project to a repo, the owner dropdown only shows the two other accounts — my personal account never appears as an option.

I suspect the Typst GitHub App installation isn’t being created for my personal account during the reconnection flow, even though the OAuth authorization goes through fine. The app doesn’t appear under my GitHub Settings → Installations for my personal account.

Has anyone else run into this? Any suggestions appreciated.

I had a similar problem, and for me it was that a newly authorized organization had so many repos that it overloaded Typst. I initially opened Github sync: granting Typst access to an organization with many repositories brings it to its knees · Issue #705 · typst/webapp-issues · GitHub over this, but I think the behavior has since changed: only a limited number of repositories is loaded, and the organizations (or personal accounts) are populated from these; if only org repos are among the first 100 returned, your personal account doesn’t show up in the dropdown list. See also here on Discord: https://discord.com/channels/1054443721975922748/1088371919725793360/1496624745314258945

My understanding is that (if too many orgs is the problem) the only option right now is to revoke Typst access to your organization at https://github.com/organizations/[org-name]/settings/oauth_application_policy, to get the number of results down. If you’re motivated, filing an issue for this new limitation would be great, as I haven’t done so yet.

1 Like

Okay, I first tried to revoke typst access on the org whose repos are dominating the dropdown list of possible repos to sync. Turns out typst had access via OAuth and I had to add restrictions to the third-party access policy and re-sync. Now I can see my personal repos. Thanks a ton!

1 Like