Explain how to customize INRIA's CI for custom branches
Explain how to customize INRIA's CI for custom branches

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml