Tagged pipeline-repair