mirror your GitHub repos to tangled.org automatically

fix: treat unusable tangled repo names as terminal master


+45 -3
3 changed files