Markdown est un langage très simple pour formater correctement du texte brut avec une syntaxe peu intrusive. Il est largement utilisé dans les outils utilisés par les développeurs, tels que les README de projets Gitlab ou GitHub, les carnets Jupyter, mais aussi dans de nombreux outils utilisés au-delà du cercle des développeurs à Inria, tels que Mattermost, les wikis, et notes.inria.fr qui remplacera notepad.inria.fr.

Ce bot, écrit en OCaml, est principalement utilisé dans le développement du projet Coq. Il permet la synchronisation entre GitHub et GitLab, la gestion des pull requests depuis des forks, la gestion des milestones des issues et la gestion du processus de backporting.