Does this mean that someone could decrypt a old dump of traffic between a client and GitHub? If so, this means that every repo on GitHub must be assumed to have been leaked?