txt.file is a user on chaos.social. You can follow them or interact with them if you have an account anywhere in the fediverse.

The main problem with Github being bought by Microsoft isn't MS.

It's that in 2018 we still haven't learned that critical infrastructure shouldn't belong to one company ... and that we should avoid building single points of failure.

Git (distributed) turned to Github (centralized). Just as email turned to Gmail. Just as "storing files on web servers" became "Dropbox".