NRAO staff can now use "Openid Connect" to log in to GitLab via Microsoft
after this goes in I'll merge the dev branch to main