How far down did you strip the gun? By your description, you would have had to pull the end plate and receiver extension to remove that pin. You need a special wrench to do that.

Whatever you did, that detent is a captured part. If it pops up, it need to be replaced.