Academics, including myself, should create an equivalent of the arxiv for git.
I am not sure how long it will take, but gihub will certainly go the google+ and jamboard way, by discontinuing things that are no longer interesting or profitable to Microsoft (or, even worse, acceptable by whatever US administration decides to pressure Microsoft).
While there are already alternatives, I don't (at least not yet) trust any of them.
We need something made by academics for academics, just like the arxiv, where there is some hope of long-term persistence.
For example, I care about the future of TypeTopology, even after I die, but there is no hope for this in the hands of Microsoft, or any alternative I have seen.
Martin Escardo
@MartinEscardo@mathstodon.xyz
