Fix the formatting script: do not try to update a GitHub PR without checking for should_update_gh #159276
Fix the formatting script: do not try to update a GitHub PR without c…
da7ed13e
joker-eph
enabled auto-merge (squash) 275 days ago
Merge branch 'main' into formatting
239a5331
joker-eph
merged
26e370bd
into main 266 days ago
Assignees
No one assigned
Labels
skip-precommit-approval
Login to write a write a comment.
Login via GitHub