Merge pull request #25365 from totten/master-gitlab-refs
authordemeritcowboy <demeritcowboy@hotmail.com>
Tue, 17 Jan 2023 12:57:51 +0000 (07:57 -0500)
committerGitHub <noreply@github.com>
Tue, 17 Jan 2023 12:57:51 +0000 (07:57 -0500)
(NFC) Cleanup Gitlab references


Trivial merge