Advantages of maintaining a multi-task project-specific bot: an experience report
release_oskf2wdc6jdrjjg32kkgq6azfu
by
Théo Zimmermann
2022
Abstract
Bots are becoming a popular method for automating basic everyday tasks in
many software projects. This is true in particular because of the availability
of many off-the-shelf task-specific bots that teams can quickly adopt (which
are sometimes completed with additional task-specific custom bots). Based on
our experience in the Coq project, where we have developed and maintained a
multi-task project-specific bot, we argue that this alternative approach to
project automation should receive more attention because it strikes a good
balance between productivity and adaptibility. In this article, we describe the
kind of automation that our bot implements, what advantages we have gained by
maintaining a project-specific bot, and the technology and architecture choices
that have made it possible. We draw conclusions that should generalize to other
medium-sized software teams willing to invest in project automation without
disrupting their workflows.
In text/plain
format
Archived Files and Locations
application/pdf 216.3 kB
file_23vgqvjoxnhtln47hwqpdy2okq
|
arxiv.org (repository) web.archive.org (webarchive) |
2204.12758v1
access all versions, variants, and formats of this works (eg, pre-prints)