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

fix: skip enrolment on tangled name conflicts instead of retrying master