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.