Deleting files from git