diff options
| author | Laurent Pinchart <laurent.pinchart@ideasonboard.com> | 2023-06-12 16:40:35 +0300 |
|---|---|---|
| committer | Laurent Pinchart <laurent.pinchart@ideasonboard.com> | 2023-07-05 15:39:02 +0300 |
| commit | 925ee0ac8ecfd43aa219f6bad04b3b7e90d0b76d (patch) | |
| tree | a62ca8f7a559c6d894f0dbf4578fc7fef4768a61 /utils/run-dist.sh | |
| parent | 69e3983acf416b48aaa609f9df45e66c32e3f39d (diff) | |
utils: checkstyle: Don't include commit ID in commit title
The commit title and commit ID are two different pieces of information.
Don't include the latter in the former, to simplify code that only needs
the commit title. Constructing a string from the ID and title is easier
than splitting the combined string back into its elements.
Signed-off-by: Laurent Pinchart <laurent.pinchart@ideasonboard.com>
Reviewed-by: Kieran Bingham <kieran.bingham@ideasonboard.com>
Diffstat (limited to 'utils/run-dist.sh')
0 files changed, 0 insertions, 0 deletions