Let's assume that is enforceable through the TOS (which I doubt), would that make hosting GPL'd code on Github a violation of the GPL? If programmer X releases

Let's assume that is enforceable through the TOS (which I doubt), would that make hosting GPL'd code on Github a violation of the GPL? If programmer X releases GPL'd code on his website and programmer Y copies it to Github, then it could presumably be considered a bypass of the copyright.