We now have the DCO bot activated. This pull request that was submitted today already contains a successful check. So, it looks like we don't have to manually check every commit manually any more to ensure that it is signed and contributors get quicker feedback if they didn't sign their commit.

Thanks to Jason who took care of this and activated the DCO bot!

Am Donnerstag, 24. Januar 2019 18:46:15 UTC+1 schrieb Chris Hupman:

+1 As someone who sometimes forgets to sign his commits I fully support bot checking.

On Monday, October 1, 2018 at 5:44:19 AM UTC-7, Florian Hockmann wrote:

+1 on using the bot for these checks.

Am Sonntag, 23. September 2018 03:47:44 UTC+2 schrieb Misha Brukman:

Hi all,

Right now, the only bot-automated enforcement is the CLA signature, but not the Developer Certificate of Origin, which is a requirement of The Linux Foundation. This is a bit of a pain to do manually, and I haven't had time to add it to the CLA verification tool we're using.

I noticed some CNCF repos are using this bot:

• https://probot.github.io/apps/dco/ (source code)
  

to do the enforcement automatically, and I (inadvertently) tested it as I didn't realize one of the repos had a DCO requirement, and it worked flawlessly!

What are your thoughts on adding it to the JanusGraph repos? This means it'll be a blocker to PR submission, just like failing Travis CI.

This should have no functional change, since everyone should be signing those commits already; this will just enforce it automatically so it doesn't have to be checked by a human.

Misha

--
You received this message because you are subscribed to a topic in the Google Groups "JanusGraph developers" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/janusgraph-dev/kuglHrvp4Jc/unsubscribe.
To unsubscribe from this group and all its topics, send an email to janusgr...@....
To post to this group, send email to janusgr...@....
To view this discussion on the web visit https://groups.google.com/d/msgid/janusgraph-dev/b26dc4b1-adcf-4dd1-93a1-f100d250d7d6%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.