bot

Notoriété 27 %

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.

Dépôt de code

https://github.com/coq/bot (nouvelle fenêtre)23 étoiles

Cas d'utilisation métiers

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Économie, des Finances et de la Souveraineté industrielle, énergétique et numérique
    - Organismes rattachés - Ministère chargé de l'Économie et des Finances et de la Souveraineté industrielle et énergétique
      - Institut national de recherche en informatique et en automatique (organisation rattachée)

Outils utilisés

Description générée le mardi 19 mars 2024 à 15:45:13

D'autres initiatives de la même organisation

Insee
insee.fr
Inria
inria.fr
Coq
github.com/coq/coq
Catala
github.com/CatalaLang/catala