Navigation comment posted by submit commands drops a merged branches from upstack branch comments when they're updated.
That is, given main -> A -> B -> C, when A merges, the comments for B and C drop A from their listing.
Ideally, we can leave A and other merged PRs in the navigation comment when we restack and submit B and C.
Blocks #314
Blocks #31
Navigation comment posted by
submitcommands drops a merged branches from upstack branch comments when they're updated.That is, given
main -> A -> B -> C, when A merges, the comments for B and C drop A from their listing.Ideally, we can leave
Aand other merged PRs in the navigation comment when we restack and submit B and C.Blocks #314
Blocks #31