Activates mirroring to Inria GitLab for mathcomp/mathcomp.

This reverts commit ed31392.
coq · Jun 13, 2023 · 429cc10 · 429cc10
1 parent ed375f4
commit 429cc10
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/coqbot-config.toml b/coqbot-config.toml
@@ -30,6 +30,7 @@ app_id="31373"
   [mappings.math-comp]
   github="math-comp/math-comp"
   gitlab="math-comp/math-comp"
+  gitlab_domain="gitlab.inria.fr"
 
   [mappings.docker-mathcomp]
   github="math-comp/docker-mathcomp"

diff --git a/src/bot.ml b/src/bot.ml
@@ -238,7 +238,7 @@ let callback _conn req body =
                     branch on GitLab."
                    owner repo )
               ()
-        | "math-comp", "docker-mathcomp" (* | "math-comp" *) ->
+        | "math-comp", ("docker-mathcomp" | "math-comp") ->
             (fun () ->
               init_git_bare_repository ~bot_info
               >>= fun () ->