I'd repair it. If done properly, one can consider a patch to be a permanent repair. I've had 5 patches on a tube, and dustbinned it when I got another puncture too close to a patch to repair. A friend of mine dustbins his after 2 repairs, or puts on a third patch and carries it along as a "give away".