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 () ->