[Mailman-Developers] Need more information about the GSoC idea 'GitLab/development tools integration'