proposal: upgrade Gnus Git repo to GitLab server

[Ted Zlatanov <tzz@lifelogs.com>]

Lars and others, I'm putting this out for the whole list:

I think GitLab would be a good choice for the Gnus Git repo.

The community edition is free according to
https://gitlab.com/gitlab-org/gitlab-ce/blob/master/LICENSE

It offers many features we could use. The downside is that it's probably
best to install it on a dedicated server; it's a Ruby on Rails app. It
can be installed via packages, in any case:
https://about.gitlab.com/downloads/ offers CentOS, Debian, and Ubuntu
packages. Plus Raspberry Pi Raspbian, of course, for that very demanding
group of 3 people :)

I think it would make some things easier, especially pull ("merge")
requests for quick changes because you can edit files right in the web
browser to propose a change. It's also a bit more secure than our
current setup. And most importantly, the current workflows won't change.

Thanks
Ted