{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://sneak.berlin/go/neoirc/schema/commands/PART.json",
  "title": "PART",
  "description": "Leave a channel. A client sends it to leave. The server sends it to every member of the channel when a user leaves, the leaving user included. RFC 1459 §4.2.2.",
  "$ref": "../message.json",
  "properties": {
    "command": { "const": "PART" },
    "from": { "type": "string", "description": "The nick that left. The server sets it." },
    "to": {
      "type": "string",
      "description": "The channel name. The server adds the # if a client leaves it out.",
      "pattern": "^#?[a-zA-Z0-9_-]{1,63}$"
    },
    "body": {
      "type": "array",
      "items": { "type": "string" },
      "description": "The reason for leaving. A client may send one as the first string. The server always sends one string, which is empty when no reason was given."
    }
  },
  "required": ["command", "to"],
  "examples": [
    { "command": "PART", "from": "alice", "to": "#general", "body": ["later"] }
  ]
}