Before we can merge your pull request, we need you to sign either the Google individual or corporate
contributor license agreement (CLA), unless you are a Google employee, intern, or contractor.

Please see https://jsonnet.org/learning/community.html#license for more information.
