repair to
phrasal verb
repaired to;
repairing to;
repairs to
Definition of repair to
old-fashioned + formal
: to go to (a place)
After dinner, the guests repaired to the drawing room for coffee.
—sometimes used humorously Shall we repair to the coffee shop?