Eliminar el archivo de PR GitHub
git checkout origin/master -- src/main/java/HelloWorld.java
Sore Stoat
git checkout origin/master -- src/main/java/HelloWorld.java
git commit -m "Removed a modified file from pull request"
git push origin pull-request-branch
$ git checkout pull-request-branch