diff options
author | Nicolas Dufresne <nicolas.dufresne@collabora.com> | 2020-01-18 15:00:13 -0500 |
---|---|---|
committer | Laurent Pinchart <laurent.pinchart@ideasonboard.com> | 2020-01-18 22:05:03 +0200 |
commit | 8bf84425652df7972085f3e1aaf43c9f84da9bd8 (patch) | |
tree | ac05bce725252bce03f73df14ab758b9d2523609 /Documentation/theme/theme.conf | |
parent | fef2f02324cc15b0bc0c06518b9ea3f1fd09c8f3 (diff) |
checkstyle: Add support for checking style on staged changes
This introduces a new command line "--staged" and a new special type of
commit "StagedChanges". It will check the style of changes that are in
the index, so the changes that would be committed by "git commit".
"--staged" was chosen to match with "git diff --staged" command line.
Other valid name could have been "--index" or "--cached". This was
my personal preference, aliases can be added later. Note that we must
not confuse this with working tree changes, as these changes are not
picked by "git commit".
This feature is needed to implement pre-commit hook.
Signed-off-by: Nicolas Dufresne <nicolas.dufresne@collabora.com>
Reviewed-by: Laurent Pinchart <laurent.pinchart@ideasonboard.com>
Diffstat (limited to 'Documentation/theme/theme.conf')
0 files changed, 0 insertions, 0 deletions