BafS

That's true, unfortunately you cannot do a pull request from there right? I don't know if that could be an option with gitea

Okay thanks for the information, it's great to see the project moving to git. We could still do a mirror on github to make the project more visible (https://docs.gitea.io/en-us/repo-mirror/).

I there any chance we could use the public instance of gitlab or github and use their "actions"? I'm pretty sure it would help other developers to participate.