Use a `git push -f` to force the change. Make sure it gets pushed to "ase34:master" as that's what the PR is from!