NRAO staff can now use "Openid Connect" to log in to GitLab via Microsoft
The stuff added has to do with direnv.