Suggestion: migrate from GitHub to GitLab
AutoImport-jondo last edited by
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.