It would be nice if this repository was hosted on https://gitlab.wikimedia.org and mirrored here on GitHub, or vice-versa. Ideally, pull requests via GitHub should still be possible (in addition to merge requests on GitLab) to minimize potential barriers to contribution (i.e. many more people have accounts on GitHub than on Wikimedia's GitLab instance).
This issue appears to be discussing a feature request or bug report related to the repository. Based on the content, it seems to be still under discussion. The issue was opened by waldyrious and has received 0 comments.