Move MuteFindings operation to private spec#3662
Merged
api-clients-generation-pipeline[bot] merged 1 commit intoJun 16, 2026
Merged
gh-worker-mergegate-4580a3 / devflow/mergegate
succeeded
Jun 16, 2026 in 0s
Merge Gate
Merge Gate status is success
Details
- All applicable commits are signed and verified
Digest:5c01e36 - All applicable files are owned properly
Digest:ae629bc - All required reviewers have approved
Digest:bae7e71
if this seems incorrect, you can retrigger the evaluation of the MergeGate by clicking on this link
Loading