coqbot-config.toml

[bot]
name="coqbot"
email="coqbot@users.noreply.github.com"

[server]
domain="coqbot.herokuapp.com"

[github]
app_id="31373"

[gitlab]
  [gitlab.com]
  domain="gitlab.com"
  api_token_env_var="GITLAB_ACCESS_TOKEN"

  [gitlab.inria]
  domain="gitlab.inria.fr"
  api_token_env_var="INRIA_GITLAB_ACCESS_TOKEN"
  bot_name="x-CBot"

[mappings]
  [mappings.coq]
  github="coq/coq"
  gitlab="coq/coq"
  gitlab_domain="gitlab.inria.fr"

  [mappings.opam]
  github="coq/opam"
  gitlab="coq/opam"
  gitlab_domain="gitlab.inria.fr"

  [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"
  gitlab="math-comp/docker-mathcomp"
  gitlab_domain="gitlab.inria.fr"