On: Show HN: Sum (algebraic) types for C in one 100 li...

[beryilma]

I am confused. If the author is part of the Give Up GitHub movement, then why still keep 29 repositories on GitHub! Obviously, they didn't give it up.

[tpoacher → beryilma]

not op, but github serves two purposes: git mirror, and reputation/network effects.

By relying on github for the latter while redirecting to another mirror for the former allows you to utilise github's reputational system to promote both your project AND the mirroring alternative.