ghstack bot skip if a corresponding PR is merged (#6427)
If a corresponding fixup PR is merged, the bot should not attempt to create a duplicated one ghstack-source-id: 99e176c59cefda7ab8a811f1033a5a617d69be1f Pull Request resolved: https://github.com/pytorch/executorch/pull/6426 Co-authored-by: Hansong Zhang <hsz@meta.com>
P
pytorchbot committed
0aa802de6c4f078e8bb31ad878019ffbcc07a8d1
Parent: 979708d
Committed by GitHub <noreply@github.com>
on 10/22/2024, 7:08:11 AM