From 9c20d5fe4f97dd97780ca4884fdf6406d5563c30 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@telecom-paris.fr>
Date: Wed, 16 Oct 2024 14:12:39 +0200
Subject: [PATCH] Migrate coq/opam to use Inria GitLab instead of GitLab.com.

- Set up mirroring.
- Modify configuration for synchronizing PRs.
---
 coqbot-config.toml | 7 ++++---
 src/bot.ml         | 2 +-
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/coqbot-config.toml b/coqbot-config.toml
index 4607079c..ac1b30c4 100644
--- a/coqbot-config.toml
+++ b/coqbot-config.toml
@@ -24,9 +24,10 @@ app_id="31373"
   gitlab="coq/coq"
   gitlab_domain="gitlab.inria.fr"
 
-  [mappings.opam-coq-archive]
-  github="coq/opam-coq-archive"
-  gitlab="coq/opam-coq-archive"
+  [mappings.opam]
+  github="coq/opam"
+  gitlab="coq/opam"
+  gitlab_domain="gitlab.inria.fr"
 
   [mappings.math-comp]
   github="math-comp/math-comp"
diff --git a/src/bot.ml b/src/bot.ml
index bfd768e4..a4a40c9d 100644
--- a/src/bot.ml
+++ b/src/bot.ml
@@ -288,7 +288,7 @@ let callback _conn req body =
                     branch on GitLab."
                    owner repo )
               ()
-        | "math-comp", ("docker-mathcomp" | "math-comp") ->
+        | "math-comp", ("docker-mathcomp" | "math-comp") | "coq", "opam" ->
             (fun () ->
               init_git_bare_repository ~bot_info
               >>= fun () ->