Tootfinder

»You already have a git server:
If you have a git repository on a server with ssh access, you can just clone it.«
Actually, this is only logical and correspondingly simple, but you should also use this. Now I came across this with the help of a link to this guide.
🧑‍💻 https://maurycyz.com/misc/easy_git/

check out how quickly #GitPages (and #Grebedoc) can check out a giant git repository without any changes!
if supported by the server, it retrieves only a single tree from git (no other branches, no tags, no history, no file contents), backfills it from the existing site contents, and then p…

#TIL that #Gitolite can't handle repositories with different default branch names. As in, if you push a "main" branch into a "master" server, you get no HEAD 🤦. And you can only change that via SSH-ing to the server and modifying the underlying repository.
Apparently, you could also install a hook to automatically fix HEAD for you: #Gentoo #git