diff options
author | Clark Barrett <barrett@cs.stanford.edu> | 2019-04-24 14:39:08 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2019-04-24 14:39:08 -0700 |
commit | 5f716f5aac730f976eac538cfbf47dcc651e54f7 (patch) | |
tree | c8807df998713f48000283da27f1c616ec1bf336 /CONTRIBUTING.md | |
parent | e256d610ca0db37e964b9a2b4530470e8589b958 (diff) |
Dco fix (#2973)
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r-- | CONTRIBUTING.md | 25 |
1 files changed, 15 insertions, 10 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index f7ce76293..c54589e83 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -1,14 +1,19 @@ # Contributing -CVC4 is distributed under the terms of the modified BSD license (see - [COPYING](https://github.com/CVC4/CVC4/blob/master/COPYING) file). By -submitting a contribution you automatically accept the conditions described in -[COPYING](https://github.com/CVC4/CVC4/blob/master/COPYING). -Additionally, we ask you to certify that you have the right to submit such -contributions. To manage this process we use a mechanism known as [Developer -Certificate of Origin](https://developercertificate.org), which can be -acknowledged by signing-off your commits with `git commit -s`. We require all -pull requests to be squashed into a single commit and signed-off. +External contributions to CVC4 may be proposed using git's standard pull request +mechanism. The following terms apply to all such contributions: + +- We require all pull requests to be squashed into a single commit before + being submitted and to be signed using `git commit -s`. + +- CVC4 is distributed under the terms of the modified BSD license (see + [COPYING](https://github.com/CVC4/CVC4/blob/master/COPYING) file). By + submitting a signed contribution, you automatically agree to accept the conditions + described in [COPYING](https://github.com/CVC4/CVC4/blob/master/COPYING). + +- By submitting a signed contribution, you additionally automatically agree + that the [Developer Certificate of Origin](https://developercertificate.org) + shown below applies to your contribution. ``` Developer Certificate of Origin @@ -50,7 +55,7 @@ By making a contribution to this project, I certify that: this project or the open source license(s) involved. ``` -If you are interested in becoming a long term contributor to the CVC4 project, +If you are interested in becoming a long-term contributor to the CVC4 project, please contact one of the [project leaders](https://cvc4.github.io/people.html#project-leaders). We'd be happy to point you to some internal documentation to help you out. |