It should update the PR automatically, as far as I'm aware