{
  "description": "The github name of the bot used for automatic merging.",
  "details": [],
  "type": "string"
}