Skip to main content
Observation of a pr_close event whose pull request was closed without a merge. Merged closes are tool calls ([crate::PrCloseMeta]).