[I'm currently moving servers - you might find some repos are temporarily missing]

Welcome to my own personal git server, managed via gitolite and CGit, hosted on a RPi4.

This is part of an effort to get off (or at least do not rely exclusively on) big tech services.