I must admit I did that once, during completion of an 80% receiver so it was a drill bit. Drilled it out with a straight flute carbide bit. Then tapped it oversize and threaded an aluminum screw into the hole with Loctite 690 retaining compound. I cut it off dressed the surface with a fine file, Re drilled the hole, slower this time. I also thread this hole to capture this spring and detent pin. S##t happens fix it.