diff options
| author | Chris. Webster <chris@webstech.net> | 2020-09-22 07:28:04 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-10-09 11:22:05 -0700 |
| commit | 32c83afc2c69aa51b82aa223f2099389f1f0be0a (patch) | |
| tree | c32bf5073149784f1dcce60cc18558722a80a866 /commit-graph.c | |
| parent | d4a392452e292ff924e79ec8458611c0f679d6d4 (diff) | |
ci: github action - add check for whitespace errors
Not all developers are aware of `git diff --check` to warn
about whitespace issues. Running a check when a pull request is
opened or updated can save time for reviewers and the submitter.
A GitHub workflow will run when a pull request is created or the
contents are updated to check the patch series. A pull request
provides the necessary information (number of commits) to only
check the patch series.
To ensure the developer is aware of any issues, a comment will be
added to the pull request with the check errors.
Signed-off-by: Chris. Webster <chris@webstech.net>
Reviewed-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'commit-graph.c')
0 files changed, 0 insertions, 0 deletions