I have a closed PR (#8117) that's still showing in my stack view on the Graphite web UI. Both the head and base branches have been deleted from the remote, and I've tried gt delete, gt sync, and gt restack locally — none of them removed it from the web view. Is there a way to force-remove a stale closed PR from the stack view?

(If applicable) To help us more clearly understand what you're trying to do, please provide additional details about: - Screenshots / debug logs / list of commands you've tried to run so far - Your workflow - Current state

(i'm not graphite support, just another user :p) if you want to remove it from the stack PR view, you need to: • checkout the branch at the same commit (

git checkout -b <name> <hash>

) • run

gt track

• run

gt move --onto main

(or

master

or whatever) • run

gt submit

(or maybe

gt submit --stack

, i can't remember)

I can't check it out because it's deleted

that's what this is for:

git checkout -b <old-name> <hash>