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