Well technically, any modifications you make to GPL code are still owned by your...

derekp7 on July 6, 2015 | parent | context | favorite | on: ‘Flash Boys’ Programmer in Goldman Case Prevails S...

Well technically, any modifications you make to GPL code are still owned by your employer. Now if the modified code gets distributed by your employer, THEY are the ones that are under obligation to make the source available. But if they don't redistribute any of the code, then the GPL specifically allows them to keep the changes proprietary.

current_call on July 7, 2015 [–]

Doesn't the code get distributed to the employees? How are they prevented from redistributing it?