chore: Add a workflow to mark a pull request as "deleted" (#7428)
L
Louis Lam committed
6a10d82feea6a6c147b3b8797369d3423c18b91f
Parent: 916ea81
Committed by GitHub <noreply@github.com>
on 5/23/2026, 12:31:31 PM