The answer is to issue a GitLab pull request. A developer must log into the GitLab web application and create a merge request, specify the branch they’re working on as the source and the master branch ...