Now gitea has CI (actions) we're leaving github for good.

So many FOSS projects building on Microsoft, it won't end well!