Don't try to over-think this, though. I've seen measurable differences
in tip-to-fin distances even on pristine never-damaged (as opposed to
(NDH) gliders. I've also measured substantial profile differences
between right and left wings of Nationals-winning sailplanes that go
like stink and fly straight as arrows. Except for the latest
generation or so made in CNC-cut molds, even production sailplanes are
hand-built things with measurable differences ship-to-ship and even
across the plan of symmetry on the same ship.
As for a tailboom repair, it's not particularly difficult to jig it
out as straight as makes no difference. If it was done by a reputable
shop like JJ's, or inspected and blessed by a reputable glider fixer,
I wouldn't give it a second thought.
Thanks, Bob K.