Re:CompCert – Formally-verified C compiler
by jhauris on Sunday June 27, 2021 @08:13AM
(#27650952)
> code added by others can no longer be added to the “proprietary” branch
One thing to keep in mind, if you sign over your copyright by agreeing to contribute using a Contributor License Agreement (CLA), the person or organization can take your contributions proprietary.
One thing to keep in mind, if you sign over your copyright by agreeing to contribute using a Contributor License Agreement (CLA), the person or organization can take your contributions proprietary.