Fix merge bot to use ref for merged PR #6416
Merged
Facebook GitHub Tools / Meta Internal-Only Changes Check
succeeded
Oct 21, 2024 in 0s
There is no internal Diff connected, this can be merged now
Loading