After closing a PR in GitHub, the remote branch gets deleted.
In Fork after a fetch, it uses a different icon for such branches, but only when it isn't the active branch. As long as you stay on that branch, it looks like the remote branch still exists. Since the state for the branch is already detected, it should not be hard to also show the different icon here.
After closing a PR in GitHub, the remote branch gets deleted.
In Fork after a fetch, it uses a different icon for such branches, but only when it isn't the active branch. As long as you stay on that branch, it looks like the remote branch still exists. Since the state for the branch is already detected, it should not be hard to also show the different icon here.