Skip to content

Handle event for PRs being closed#19

Merged
ipmb merged 1 commit into
mainfrom
handle-pr-closed
Oct 21, 2025
Merged

Handle event for PRs being closed#19
ipmb merged 1 commit into
mainfrom
handle-pr-closed

Handle event for PRs being closed

95b2746
Select commit
Loading
Failed to load commit list.
Sign in for the full log view