If a PR is closed without merging, is there any way to remove it from the stack in the web app and in the Github stack tracking comment? My local gt is already not tracking those branches.