I know it’s not really the question, but just so you know, Gitea is not AGPL licensed. It is MIT licensed, a much more permissive license.

I’m not sure it makes much sense that gitea is a bit too heavy, but forgejo (a fork of gitea) runs perfectly. But forgejo appears to have more developments momentum as a project and so you probably landed on the right choice anyway. 🙂