fix deletion of file through git