diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-05-08 14:49:51 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-05-12 13:56:49 +0200 |
| commit | 9deaac5c60b37317fddbcb7e5be3c6c5394bb761 (patch) | |
| tree | 7c00f7f16a0a44f020c1cb4d52b61a38f08ccc0e /thirdparty | |
| parent | 47b3f9587424834f0a44343a2c799facc5111c1a (diff) | |
CI: Use gh-cli for changed files, and workaround codespell skip list bug
For PRs, this should give a more accurate list, as the previous method would
diff to the tip of the `master` branch, which could include new commits (and
thus changed files) not present in the PR branch.
codespell's `--skip` option doesn't work at all with folders when used
together with an explicit list of paths to work with, so let's not use it.
(cherry picked from commit b3bb92ae5ecae0389bbadd7c6933fbae39d74971)
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions