I would not make a HG kid repeat a grade he'd already taken. No way!
Even in 6th grade, I had a kid of average ability who was a year younger because--well, it's complicated, but he came from another country. He wasn't the most mature member of his class, or in the top tier academically, but he had peers both below and near his maturity level, and he did fine.
Thanks for this story - it makes me smile to read how diplomatically you've put this. It's nice to know that there is such a spread of acceptable maturity levels.
Love and More Love,
Grinity