{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://jinion.co/schema/config.json",
  "title": "jinion.config.json",
  "description": "Links a repository to a project of a Jinion workspace, so its agents share the decisions they make with the workspace's members. Commit it at the repository's root. Its ids aren't secrets: Jinion checks who may read the project on every call.",
  "type": "object",
  "properties": {
    "$schema": {
      "type": "string",
      "description": "Where editors find this schema."
    },
    "workspaceId": {
      "type": "string",
      "pattern": "^ws_[a-z0-9]{16}$",
      "description": "The workspace the project belongs to, as cloud.jinion.co shows it."
    },
    "projectId": {
      "type": "string",
      "pattern": "^prj_[a-z0-9]{16}$",
      "description": "The project this repository is, as cloud.jinion.co shows it."
    }
  },
  "required": ["workspaceId", "projectId"],
  "additionalProperties": false
}