GitHub Web editor tips and tricks

How to remove a committed file from a Pull request

Once a file has been committed to GitHub, it is part of the project history. However you can delete it easily with the following procedure :

On your pull request on GitHub

0. Press "." to access the web editor

1. Click on the document menu

2. On the file Left clic + delete OR Right clic + delete permanently

3. Then in the souce code controle, write a small comment and press commit :

This will remove the commited file from the branch.