Hello,

> There are multiple host options, though:
> 
> * GitHub - not as Free Software-friendly; FSF disapproved.
> * Savannah - not a lot of functionality; run by (too few) volunteers.
> * Pagure (from RedHat) - too new, too small.
> * Self-host (either GitLab CE or Gogs) - better branding using own
>    domain name (maybe git.kawa-lang.org), but not worth the extra work.

FWIW, I much when s/w part of gnu (and non gnu free s/w) be on savannah

Cheers,
David