v3.23.0
Changes
- Added
merge_group.destroyed
to ignored GitHub webhook events - Added an optional PR concurrency lock to prevent a single PR from being processed by more than one function instance at a time
merge_group.destroyed
to ignored GitHub webhook events