Extending the team with a project-specific bot

2021/12/14 by Théo Zimmermann, Zimmermann, Théo, Julien Coolen +8 · 1 citation
Computer Science · Decision Sciences · #AI in Service Interactions #FOS: Computer and information sciences #Scientific Computing and Data Management #Software Engineering (cs.SE) #Software Engineering Techniques and Practices #Software System Performance and Reliability

paper · pdf · doi:10.48550/arxiv.2112.07365

openalex publication_date 2021/12/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

While every other software team is adopting off-the-shelf bots to automate everyday tasks, the Coq team has made a different choice by developing and maintaining a project-specific bot from the ground up. In this article, we describe the reasons for this choice, what kind of automation this has allowed us to implement, how the many features of this custom bot have evolved based on internal feedback, and the technology and architecture choices that have made it possible.

Cited by

• Growing Mathlib: maintenance of a large scale mathematical library

Related

• Advantages of maintaining a multi-task project-specific bot: an experience report
• The Perceptions of Software Engineers Concerning the Utilization of Bots in the OSS Development Process: An Exploratory Survey
• DevBots can co-design APIs
• Building Task Bots with Self-learning for Enhanced Adaptability, Extensibility, and Factuality
• Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots