I hope they, at the very least, start something like an I2P website or some other presumably safer alternative than a normal webpage if they go after their site.
Even if they do, it's not that easy to shut down a Tor website. This usually only happens when someone runs a Darknet marketplace and sells drugs. Never heard of a onion site shutdown because of DMCA.
Microsoft is not your friend. GitHub is owned by thah US-based, publicly-traded, for-profit megacorporation & will do the bidding of the other megacorporate wishes like taking down youtube-dl for the music industry and so on. Get your projects & communities on another platform.