Hi, I'm a Community Manager at GitLab and someone pointed me to this discussion on your mailing list: https://listengine.tuxfamily.org/lists.tuxfamily.org/eigen/2019/09/msg00000.html .
It looks like there was also a discussion on GitLab, but I wanted to see if there were any questions about GitLab or our Open Source Program ( https://about.gitlab.com/solutions/open-source/program/). Here's a recent PR on KDE adopting GitLab ( https://about.gitlab.com/press/releases/2019-09-17-gitlab-adopted-by-KDE.html) and joining other Open Source projects like Debian, Drupal, Freedesktop.org, GNOME, etc. on GitLab. Please let me know if I can be of help. Thanks, Ray
