I’m not an arborist and we don’t have those type of tree where I live, but I have worked in landscaping before. My understanding any substantial trimming like that I’ve done in the past should never be done in the hottest part of the year because the tree will have trouble retaining water.