settings-schema.json

{
  "$id": "https://example.com/settings.json",
  "$schema": "http://json-schema.org/schema#",
  "description": "A representation of the settings for the GitHub crawler",
  "type": "object",
  "required": [
    "refreshCycle",
    "owners"
  ],
  "properties": {
    "refreshCycle": {
      "type": "integer",
      "minimum": 1,
      "maximum": 24,
      "description": "The number of hours to wait before the next refresh"
    },
    "owners": {
      "type": "array",
      "uniqueItems": true,
      "items": {
        "type": "object",
        "required": [
          "login",
          "group"
        ],
        "login": {
          "type": "string",
          "pattern": "\\w+(-\\w+)*",
          "description": "A GitHub owner."
        },
        "group": {
          "type": "array",
          "uniqueItems": true,
          "items": {
            "type": "integer",
            "minimum": 1,
            "maximum": 1000000,
            "description": "The numeric ID of a group, per https://api.w3.org/groups/{groupID}"
          },
          "description": "List of group IDs, used as defaults if no w3c.json was found."
        }
      }
    }
  }
}