mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
In tolerant mode, only the existence of the Signed-off-by line is checked but the name and address is not matched against the author of the commit. The tools/run-tests.py script is extended to allow calling the check script in tolerant mode and also to detect whether it is being run by Travis CI. The Travis CI config has been modified to check PRs in strict mode but use tolerant mode for merges to master. This should enable the use of the Merge button on the GitHub web interface. (The PR is strictly checked when a contributor opens it but when a committer merges it via the web interface and GitHub rewrites author details from the contributor's profile, master will not turn red either.) JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu