GitLab for GNU projects

[Matt Lee]

I saw the discussion about GitLab, and I thought I'd point you at this:

https://git.gnu.io/ -- it's a GitLab Community site, hosted by GitLab
themselves for the benefit of GNU projects.

For my own GNU projects, we develop on GitLab, but also push things to
Savannah and GitHub at backups.

I'd be more than happy to help GNUstep get up and running on the gnu.io GitLab.

(The site only responds over HTTPS right now, and gnu.io is down, but
it's the home of GNU social and GNU FM)