config-schema.json

{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "type": "object",
  "properties": {
    "githubToken": {
      "description": "Your github access token, found here: https://github.com/settings/tokens",
      "type": "string"
    },
    "queries": {
      "description": "The list of query configurations which drive what prs are displayed",
      "type": "array",
      "default": [],
      "items": {
        "type": "object",
        "required": ["query", "label"],
        "properties": {
          "query": {
            "type": "string",
            "description": "The github search syntax query to use to retrieve the list of prs. Use `{githubUser}` as the wildcard for your github username. More information: https://docs.github.com/en/search-github/searching-on-github/searching-issues-and-pull-requests."
          },
          "label": {
            "type": "string",
            "description": "The label to associate with this query"
          },
          "children": {
            "type": "array",
            "description": "A list of child queries nested within the same view",
            "items": {
              "type": "object",
              "required": ["query", "label"],
              "properties": {
                "query": {
                  "type": "string",
                  "description": "The github search syntax query to use to retrieve the list of prs. Use `{githubUser}` as the wildcard for your github username. More information: https://docs.github.com/en/search-github/searching-on-github/searching-issues-and-pull-requests."
                },
                "label": {
                  "type": "string",
                  "description": "The label to associate with this query"
                }
              },
              "additionalProperties": false
            }
          }
        },
        "additionalProperties": false
      }
    },
    "prTitleRewriter": {
      "description": "A regex string that selects content in a pr title to remove. Can be useful to remove unhelpful information like a jira ticket, and cleanup the list of prs",
      "type": "string"
    }
  },
  "required": ["githubToken"],
  "additionalProperties": false
}