Comment Re:A big mess to clean up (Score 1) 176
Github is officially denying that the search feature being killed has anything to do with the exposure of keys. They also have a link on the same page to information on how to purge keys from your repository. (Make of that what you will.)