-
Notifications
You must be signed in to change notification settings - Fork 14
/
coqbot-config.toml
39 lines (31 loc) · 781 Bytes
/
coqbot-config.toml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
[bot]
name="coqbot"
email="[email protected]"
[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-coq-archive]
github="coq/opam-coq-archive"
gitlab="coq/opam-coq-archive"
[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"