diff options
| author | Wladimir J. van der Laan <laanwj@protonmail.com> | 2020-12-04 09:33:15 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@protonmail.com> | 2020-12-04 09:36:17 +0100 |
| commit | 34c80d9eee7d21755f2bb80f7c97fd30d2c7b656 (patch) | |
| tree | 45897c93a0f53ba7fac1f421e1ecfc6b7094e19b /test/lint/lint-include-guards.sh | |
| parent | e2ae6a2befad6158286e498f013e136e21e8b4f0 (diff) | |
test: Add option to git-subtree-check to do full check, add help
This adds a brief help text to `git-subtree-check.sh` and adds and an
option to do a full remote check instead of having two different code
paths with a successful exit status. Also make it explicit that the CI
is not doing this.
Diffstat (limited to 'test/lint/lint-include-guards.sh')
0 files changed, 0 insertions, 0 deletions