3 Commits

Author	SHA1	Message	Date
Philip Withnall	00dfb1de0f	ci: Ensure run-check-todos.sh exits on the first error it encounters ... Signed-off-by: Philip Withnall <withnall@endlessm.com>	2020-02-27 10:33:45 +00:00
Philip Withnall	23d26cfe7e	ci: Fix various shellcheck warnings in the shell scripts ... I haven’t tested any of them. This is entirely mechanical. I used shellcheck 0.7.0 with default options. Signed-off-by: Philip Withnall <withnall@endlessm.com>	2020-02-27 10:33:45 +00:00
Philip Withnall	3f51963b2d	ci: Add checks for banned keywords in merge requests ... Using the same approach as we have for code style checks (the `style-check-diff` CI job), check the diff for any banned keywords like ‘TODO’, and also check the commit messages. The keyword ‘TODO’ is often used by developers to indicate a part of a commit which needs further work, and hence which shouldn’t yet be merged. Signed-off-by: Philip Withnall <withnall@endlessm.com> Fixes: #1551	2020-01-21 12:26:47 +00:00