Moving from github pages to codeberg pages

There are two code platforms I&rsquo;m active on. One is run by a multi‑billion‑dollar cooperation, one is run by a small association belonging to its members, including me. Sadly I am way more active on the multi‑billion‑dollar cooperation platform. I want to change that. So with the Digital Indepenence Days I wanted to move something to the nice, community driven platform. Here&rsquo;s how I…