以项目专用机器人扩展团队
软件工程
2022-04-27 v1
摘要
当其他每个软件团队都在采用现成机器人以自动化日常任务时，Coq 团队做出了不同选择：从零开始开发并维护一个项目专用机器人。本文中，我们描述这一选择的缘由、由此得以实现的自动化类型、该定制机器人的诸多功能如何基于内部反馈而演进，以及使之成为可能的技术与架构选择。
引用
@article{arxiv.2112.07365,
title = {Extending the team with a project-specific bot},
author = {Théo Zimmermann and Julien Coolen and Jason Gross and Pierre-Marie Pédrot and Gaëtan Gilbert},
journal= {arXiv preprint arXiv:2112.07365},
year = {2022}
}