v01d commented on pull request #1834: URL: https://github.com/apache/incubator-nuttx/pull/1834#issuecomment-767634122
Last time I tried they worked as expected, so you could merge and improve any kinks later on. I guess you could use them for CI, but if one wants to be entirely sure about any mentions of an author in commit messages/headers, it will still require manual checking of the verbose output. ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org
