Create coqbot.toml

To point to a new gitlab fork on inria.fr
coq · Oct 16, 2024 · c072efa · c072efa
1 parent ad48495
commit c072efa
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/coqbot.toml b/coqbot.toml
@@ -0,0 +1,3 @@
+[mapping]
+gitlab = "coq/opam"
+gitlab_domain = "gitlab.inria.fr"