I did weigh the option of making the cut so that water could never pool, ie. providing a little sideways canal so the water would flow out that way. But it seemed like more damage than was really necessary. We do have the luxury (or burden, depending on your perspective) of having essentially zero rainfall until October at the earliest. And I expect I will be making the rounds after the first few storms, blowing the water out of there, to be on the safe side. But I imagine in the long term it will be okay, especially when there's new growth squeezing the hole shut afterwards.
The bottoms of the holes I drilled are turning orange. Note the ribs just barely visible in there as 13 radial lines.