action gitea_repo_get_repo_permissions {
  label: "Get repository permissions for a user"
  provider: gitea
  method: GET
  path: "/repos/{owner}/{repo}/collaborators/{collaborator}/permission"
  encoding: json
  input: {
    type: "object"
    properties: {
      collaborator: {
        type: "string"
      }
      owner: {
        type: "string"
      }
      repo: {
        type: "string"
      }
    }
    required: ["collaborator", "owner", "repo"]
    additionalProperties: false
  }
  output: {
    type: "object"
    additionalProperties: true
  }
}