  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.
