Removed a local file that got pushed to the server