Not sure if I could trust a repaired tyre, I'd play it safe and just get new.
What if it was new?
Mushroom patches are fine and work well.
My rear tyre cost me over £160 in a shop, due to my previous tyre being punctured, and i spotted a screw sticking out of it THE NEXT DAY.
Fortunately it went sideways into the deepest part of the thread and hadn't punctured it, but either way if it had punctured it i would've just got it repaired.
Unless the tyre tread is past half way, then a repair is fine, if it is then just replace it.