Migrate coq/opam to use Inria GitLab instead of GitLab.com.

- Set up mirroring. - Modify configuration for synchronizing PRs.
coq · Oct 16, 2024 · 9c20d5f · 9c20d5f
1 parent 73f6dce
commit 9c20d5f
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git 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
@@ -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 () ->