2023–10–15: New GIT mirror
Codeberg GIT hosting was suggested to me
for hosting my Linux tree, so I've set up a Linux repository there.
It's a bit sluggish with a Linux tree containing many tags and branches, but
it may be usable for clonning, if you don't want to use my bundles.
You may still want to use my cgit based
repository browser because it has superior UI to pretty much all Github
inspired web UIs out there. It's also not going away in the future, unlike the
mirrors, which are just temporary and should not be linked to, unless you want
your links to be broken in the future.