Pushed a file that should be deleted