mirror your GitHub repos to tangled.org automatically

fix: treat mirrored repos as synced regardless of relayed-push count master


+32 -30
4 changed files