{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "$id": "/triggers/Push/1",
  "type": "object",
  "title": "Push Trigger",
  "description": "A code push trigger causes a workflow run to start whenever a commit is pushed.",
  "properties": {
    "Type": {
      "type": "string",
      "const": "PUSH"
    },
    "Branches": {
      "type": "array",
      "items": {
        "type": "string"
      }
    },
    "FilesChanged": {
      "type": "array",
      "items": {
        "type": "string"
      }
    }
  },
  "required": ["Type"],
  "additionalProperties": false
}