Delete project in project history when expiring GitOrigin-RevId: a6bf44a88de35e777b135d8f84d68e3b0ba8908f