[ci][dco] Automatically comment PR when failing DCO check#6

quentinDERORY wants to merge 1 commit intomasterquentinDERORY/magma:masterfrom

ci-quentin-dco-pr-commentquentinDERORY/magma:ci-quentin-dco-pr-commentCopy head branch name to clipboard