Suggestion: migrate from GitHub to GitLab

[AutoImport-jondo]

Let me suggest to move this project from closed-source GitHub to gitlab.com (see https://gitlab.com/explore/projects), which at least have an MIT-licensed community version of their code.

[rfc2822]

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.