how to delete file from git