Google CLA needed?

Stream: Proofs from the book

[Malvin Gattinger]

It seems PRs to the repository https://github.com/mo271/FormalBook trigger a request to sign a Google CLA. This surprised me because the project readme also says:

This project is not an official Google project. It is not supported by Google and Google specifically disclaims all warranties as to its quality, merchantability, or fitness for a particular purpose.

So then why is the CLA needed? The CONTRIBUTING.md says "this simply gives us permission to use and redistribute your contributions as part of the project" - I thought the Apache 2.0 license would be sufficient for this?

I am asking because the Google CLA page also says "A Google account is required to sign the CLA." I do not use a Google account and this might be a reason for me not to contribute.

[Moritz Firsching]

Hi, thanks for your question! I'm not a layer, and not quite sure why the CLA is needed, I just followed what I thought was my company's policy when open sourcing this repo. Let me double check if it is really needed or if it is possible to obtain an exception, so that you might still be able to contribute even if you do not use a Google account.

[Moritz Firsching]

(This will probably take at least a day to figure out, right now pushing changes to a fork of this repo are not affected by the CLA bot)

[Moritz Firsching]

Update: I'm working on this and it looks like the CLA will not be needed anymore soon.

[Moritz Firsching]

I'm happy to report signing the CLA is no longer needed!