add an env var for configuring the gitlab oauth url

django/config/env.py

@@ -58,6 +58,13 @@ with env_loader.EnvironmentVarLoader(__name__, "ALLGO_",
             default="127.0.0.1/32",
             help="Comma-separated list of IP networks from where admin tokens (for the open-bar runners and for the controller) can be requested")
 
+    #
+    # authentication
+    #
+    env_var("ALLGO_AUTH_GITLAB_URL", default="https://gitlab.inria.fr",
+            help="Url of the gitlab identity provider")
+
+
     #
     #  runner
     #

django/config/settings.py

@@ -258,7 +258,7 @@ ACCOUNT_PRESERVE_USERNAME_CASING = False  # force lowercase on username
 
 SOCIALACCOUNT_PROVIDERS = {
     'gitlab': {
-        'GITLAB_URL': 'https://gitlab.irisa.fr',
+        'GITLAB_URL': env.ALLGO_AUTH_GITLAB_URL,
         'SCOPE': ['read_user'],
     },
 }