ghstack bot skip if a corresponding PR is merged #6425
Closed
Facebook GitHub Tools / Meta Internal-Only Changes Check
succeeded
Oct 22, 2024 in 0s
There is no internal Diff connected, this can be merged now
Loading