ci: make the whitespace checker more robust
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 3 Nov 2020 15:55:31 +0000 (15:55 +0000)
committerJunio C Hamano <gitster@pobox.com>
Tue, 3 Nov 2020 20:34:06 +0000 (12:34 -0800)
commitcba2504d3de3ccd6809fa2ab484c2aaeeef5379b
treef39ce992539f70b40fcd800369453d8e3d7137d3
parent32c83afc2c69aa51b82aa223f2099389f1f0be0a
ci: make the whitespace checker more robust

In 32c83afc2c69 (ci: github action - add check for whitespace errors,
2020-09-22), we introduced a GitHub workflow that automatically checks
Pull Requests for whitespace problems.

However, when affected lines contain one or more double quote
characters, this workflow failed to attach the informative comment
because the Javascript snippet incorrectly interpreted these quotes
instead of using the `git log` output as-is.

Let's fix that.

While at it, let's `await` the result of the `createComment()` function.

Finally, we enclose the log in the comment with ```...``` to avoid
having the diff marker be misinterpreted as an enumeration bullet.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
.github/workflows/check-whitespace.yml