Re: [mat-dev] Switch to GitHub

> Have you considered Codeberg/Fogejo? Gitea Actions are compatible
> with GitHub Actions, and many projects already have moved from
> GitHub to Codeberg.

Unfortunately, codeberg doesn't offer proper CI (see https://docs.codeberg.org/ci/ ), and even if they did, I'd rather burn Microsoft's money than codeberg's.