mirror your GitHub repos to tangled.org automatically synchub.to
mirror sync tangled github git

Says all repos synced but no repos are synced #11

Open burrito.space
Open opened by burrito.space

Github: autonome https://github.com/autonome Tangled: burrito.space https://tangled.org/burrito.space

  • I connected both accounts earlier today
  • It says all repos synced, and each repo has a green "ok" box
  • Tangled shows zero new repos synced

I had one repo with a name collision, which was correctly detected and disabled.

I tried disabling and re-enabling some of the other repos. I get the "queued" message, but still no actual syncing.

Debugged, there are a few synchub.to bugs, which I'll post separately and link back to this issue, but the core issue is, according to agent:

knot1 started minting repo DIDs in a new keyless #tangled_knot scheme sometime between Jul 26 and Jul 29, and the appview doesn't index repos minted that way — so all 116 mirrors were cloned to the knot and recorded in the PDS correctly but never appeared on tangled.org.

I'm poking Tangled folks to see if that's expected and whether synchub.to needs to update to this new system, or unexpected/bug.

Sign up or Sign in to add to the discussion.