Redo grH ⇒ grh after necessary force-push