@pluralistic@mamot.fr As a sicko, I use an advanced tool called "rsync" to deploy "html files" from my "git repo"