Moving my Git repositories

Due to the same reasons as everyone else, I am currently intensifying my efforts to move my Git repositories away from GitHub.

Most of my repos reside on codeberg now. All that is left are some repos used for contributions, and some where I didn't manage to migrate the CI so far.

This page is a placeholder to link in READMEs of projects I'm removing from GitHub. More to follow.