4 Commits

Author	SHA1	Message	Date
Gilles Peskine	7272d78d21	check-files: detect merge artifacts ... Detect Git merge artifacts. These are lines starting with "<<<<<<", "|||||||" or ">>>>>>>" followed by a space, or containing just "=======". For "=======", exempt Markdown files, because this can be used to underline a title, as a compromise between false negatives and false positives.	2018-11-23 22:43:31 +01:00
Gilles Peskine	b7b1a2adbc	Factor record_issue into its own method	2018-11-23 22:43:30 +01:00
Gilles Peskine	1e4c705414	check-files: exclude .git and third-party files ... Exclude ".git" directories anywhere. This avoids spurious errors in git checkouts that contain branch names that look like a file check-files.py would check. Fix #1713 Exclude "mbed-os" anywhere and "examples" from the root. Switch to the new mechanism to exclude "yotta/module". These are directories where we store third-party files that do not need to match our preferences. Exclude "cov-int" from the root. Fix #1691	2018-10-02 13:18:16 +02:00
Darryl Green	dd3c93fbf1	Add script for source integrity checking	2018-06-22 09:55:18 +01:00