Thanks for the suggestion, I have merged this into the Configuration page.
Suggestion: migrate from GitHub to GitLab
Thanks for your suggestion, I didn’t know that there is such an open-source service. However, at the moment, we have other priorities and Github works fine. As soon as we need an alternative, we will think about gitlab.com.