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
pushRemote is not set, and upstream is set to
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?