I heard on IRC that the person they arrested was the one who generally merged PRs. With closed source the closest equivalent is the leader of the development te

I heard on IRC that the person they arrested was the one who generally merged PRs. With closed source the closest equivalent is the leader of the development team. I would be surprised if a law enforcement agency is unable to locate that developer.