Closed rzadp closed 9 months ago
It handles missing permissions to merge/close PRs a little more gracefully.
It handles missing permissions to merge/close PRs a little more gracefully.