Re: MML and "Building Mizar from Scratch"

On 21/12/2024 03:55, Josef Urban josef.urban _AT_ gmail.com wrote:
> 
> Btw., the git-based decentralization revolution followed by the GitHub-based 
> centralization is pretty interesting. Somebody could write the history and 
> study the dynamics of internet-based cycles of decentralized freedom and 
> centralized laziness (invariably followed by major data/privacy sellouts/ 
> screwups/etc, leading to the next cycles).

That is an important observation. Even worse, the central model of Github is 
occasionally called "decentral", because git is associated with that word and 
git/github are often identified.

If I had to host a git project, I would look in the vicinity of 
https://about.gitea.com or some other alternative --- either paid hosting or 
self-hosting. (There is occasionally the saying that "If a service is 'free' 
then you are the thing that is sold".)


	Makarius