@maximilian Thanks for the clarification. Flagged the topic as solved.
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.