adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

contributing: switch to DCO 

The seL4 foundation requires a developer certificate of origin instead of
a contributor license agreement.

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
This commit is contained in:
Gerwin Klein 2020-03-19 15:58:00 +08:00
parent 79e668ab40
commit c07c499c17
1 changed files with 23 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
CONTRIBUTING.md
View File

@ -4,23 +4,11 @@
SPDX-License-Identifier: CC-BY-SA-4.0
-->
# Contributions Welcome
Contributions to the seL4 kernel verification repository are welcome!
## CLA
Please note that GD and NICTA require a contributor license agreement (CLA)
to be signed for all external contributions. Please see
https://seL4.systems/Community/Contributing for details (it is a fairly short
and standard CLA).
For the `seL4/l4v` repository, we can review pull requests directly on github
if we have a signed CLA on file, no need to email a patch.
If you have only small trivial changes such as style, typos, comments, or
white space and don't want to sign a CLA for that, please file an issue in
the github issue tracker, we'll usually be happy to do the change for you and
attribute your idea by linking to the github issue in the change set comment.
Please raise issues or pull requests on github as usual.
## Build
@ -33,5 +21,23 @@ repository still builds before you send the pull requests by running the overall
## Contact
If you have larger changes or additions, it might be a good idea to get in
contact with us as <devel@sel4.systems>, so we can help you get started.
If you have larger changes or additions, it is a good idea to get in contact
with us as <devel@sel4.systems>, so we can help you get started.
## Developer Certificate of Origin (DCO)
This repository uses the same sign-off process as the Linux kernel. For every
commit, use
git commit -s
to add a sign-off line to your commit message, which will come out as:
Signed-off-by: name <email>
By adding this line, you make the declaration that you have the right to make
this contribution under the open source license the files use that you changed
or contributed.
The full text of the declaration is at <https://developercertificate.org>.