Indeed. I think I'll add a note that PR is GitHub. Not only do I use GitLab more often in my org, but I genuinely think the term itself is more precise. I can

Indeed. I think I'll add a note that PR is GitHub. Not only do I use GitLab more often in my org, but I genuinely think the term itself is more precise. I can be a bit of a stickler for vocabulary.