Comment by tpz

Not quite. Gitlab merge requests are very useful but only act between branches of a single repo, not across repos. Hence "merge" request, not "pull" request.