[20:16:02] Hi, I am new to gitlab, and did read a bit of documentation. I just made my first pull request. https://gitlab.wikimedia.org/repos/mediawiki/services/mathoid/-/merge_requests/2 However, I don't fully understand how +1 and +2 translates to the pull request model in gitlab. In GitHub one can assign a list of people to formally approve a change and configure the project that this approval is required [20:16:02] to merge. In GitLab this would only be possible in the paid version, so one can mention people in the comments. However, I wonder how this is done in practice in other projects that did already migtate to gitlab. [20:29:02] 10GitLab (Pipeline Services MigrationšŸ¤), 10Math, 10Texvcjs: Migrate texvcjs to GitLab - https://phabricator.wikimedia.org/T348384 (10Physikerwelt) [20:35:16] 10GitLab (Pipeline Services MigrationšŸ¤), 10Math, 10Texvcjs: Migrate texvcjs to GitLab - https://phabricator.wikimedia.org/T348384 (10Physikerwelt) a:03thcipriani I tried to do this myself, but I can't put the repository to repos/mediawiki/services/ [20:37:49] 10GitLab (Pipeline Services MigrationšŸ¤), 10Math, 10Texvcjs: Migrate texvcjs to GitLab - https://phabricator.wikimedia.org/T348384 (10Physikerwelt) Should I create extra tickets for https://gerrit.wikimedia.org/r/admin/repos/mediawiki/services/mathjax https://gerrit.wikimedia.org/r/admin/repos/mediawiki/servi...