Ah ok, I thought that might be the case. There was some debate here about whether it might have been done intentionally and we thought it was worth an ask.
Well I definitely understand if we are in the minority but I do wonder how people use these on large stacks.
I wonder if this is a difference between folks stack merging vs incrementally merging?
We do a fair amount of incremental merging, and it's useful to see the rockets move up the stack (and know that the eyeballs still need reviews) as we post large stacks.
In the recent few days since the change, we have just been manually deleting merged PRs from the bottom mostly. Which works fine enough.