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.
Navigation comment posted by
submit
commands drops a merged branches from upstack branch comments when they're updated. That is, givenmain -> 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