/** * This file was auto-generated by Fern from our API Definition. */ /** * GitHub Pull Request object */ export interface GitHubPullRequest { /** PR ID (read-only, set by GitHub) */ id?: number; /** Pull request title */ title: string; /** Pull request description/body */ body?: string; /** PR state: open, closed, or merged */ state?: string; /** Head branch name */ head: string; /** Base branch name */ base?: string; /** List of label names */ labels?: string[]; }