> If the workflow of programmers is heavily based on git, then the preferred
> form of the work is the git tree and that is what the GPL requires Red Hat
> (and others) to distribute.
The problem I (IANAL) see with that argument is that the GPL allows you to
keep undistributed versions private. Those intermediate versions in the git
tree were not distributed, and could in theory even include upcoming
features that were later taken out and still count as trade secrets.