Does forge support updating the branch of a PR?
Suppose that I checked out a PR branch with b y, and afterwards there were additional commits into this PR.
It seems that I cannot pull these new commits with magit-pull, because pushRemote is not set, and upstream is set to master.
The only way I see to update the branch is to delete the PR's branch, and then check it out again with b y. Am I right on this one? Is there a more convenient way to do this?
