Extending the team with a project-specific bot

Théo Zimmermann, Julien Coolen, Jason Gross +2

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…