deletion of a file in git