projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 92d5419)
Disable DCO signing for organization members.
authorMathias Preiner <mathias.preiner@gmail.com>
Thu, 14 Mar 2019 19:45:49 +0000 (12:45 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Thu, 14 Mar 2019 19:45:49 +0000 (12:45 -0700)
.github/dco.yml [new file with mode: 0644] patch | blob

diff --git a/.github/dco.yml b/.github/dco.yml
new file mode 100644 (file)
index 0000000..0c4b142
--- /dev/null
+++ b/.github/dco.yml
@@ -0,0 +1,2 @@
+require:
+  members: false