Plumbing bots

January 25, 2021 ยท View on GitHub

We currently have the following bots:

  • buildcaptain that is a slack bot for Build Captains
  • mariobot that is a github bot to build images from repositories