[dpkirchner]

Would this taint the other code in your repo with the GPL? I'd guess it would depend on how it is distributed.

[klyrs]

If you're running on your private build infra, it's fine. If you're pushing that repo to somewhere public, it's now GPL.