I was confused they didn't think of this either, but the language in the license is very clear. I see no way it cannot be infringing - the only way you can be restricted from redistributing GPLv3'd source is if you publish it incorrectly.

That's ignoring the variety of other OSS licenses used for software in their repositories, many of which have similar (or even broader) redistribution rights.

Relevant GPLv3 language:

Section 4. Conveying Verbatim Copies.

"You may convey verbatim copies of the Program's source code as you receive it, in any medium, provided that you conspicuously and appropriately publish on each copy an appropriate copyright notice; keep intact all notices stating that this License and any non-permissive terms added in accord with section 7 apply to the code; keep intact all notices of the absence of any warranty; and give all recipients a copy of this License along with the Program."


Section 5. Conveying Modified Source Versions.

"You may convey a work based on the Program, or the modifications to produce it from the Program, in the form of source code under the terms of section 4, provided that you also meet all of these conditions:
a) The work must carry prominent notices stating that you modified it, and giving a relevant date.
b) The work must carry prominent notices stating that it is released under this License and any conditions added under section 7. This requirement modifies the requirement in section 4 to “keep intact all notices”.
c) You must license the entire work, as a whole, under this License to anyone who comes into possession of a copy. This License will therefore apply, along with any applicable section 7 additional terms, to the whole of the work, and all its parts, regardless of how they are packaged. This License gives no permission to license the work in any other way, but it does not invalidate such permission if you have separately received it.
d) If the work has interactive user interfaces, each must display Appropriate Legal Notices; however, if the Program has interactive interfaces that do not display Appropriate Legal Notices, your work need not make them do so."

I find it interesting that even the conservancy can't really say whether or not it's OK legally definitively. Here's hoping someone still takes them to court over this, wins, and sets precedence that it's a violation of the GPL (extremely unlikely, but a guy can dream)

I remember people talking about potential scenarios very similar to this when Red Hat was acquired. They were right.