I would allow the child to repeat the grade. There’s plenty of time later on and no need to hurry through the formative time of elementary school. I wish we had done this for my child. He struggled in public elementary school and did ok. Then in middle school puberty kicked in and he needed a lot more support than mainstreaming could offer. Good luck!