diff options
| author | Edward Welbourne <edward.welbourne@qt.io> | 2019-08-27 11:14:38 +0200 |
|---|---|---|
| committer | Edward Welbourne <edward.welbourne@qt.io> | 2019-09-09 17:49:11 +0000 |
| commit | 54dd14b413a5ba176d145023e7a22a17055a33bc (patch) | |
| tree | fce8323de9bc5946e44fb14aaae92ac7fcece5f9 | |
| parent | 47aaa6369415a33f70ed70469494c84ef5c55ca7 (diff) | |
Report, in commit message, how much was deemed boring
It's a simple wc of the git diff output; might be worth refining later.
Change-Id: I7054cdc12a942367371e502a7486997617f51b6e
Reviewed-by: Frederik Gladhorn <frederik.gladhorn@qt.io>
| -rwxr-xr-x | packaging-tools/api-review-gen | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/packaging-tools/api-review-gen b/packaging-tools/api-review-gen index fcd72cc4c..6382c4278 100755 --- a/packaging-tools/api-review-gen +++ b/packaging-tools/api-review-gen @@ -334,6 +334,9 @@ fi ( echo "WIP: API comparison from $PRIOR to $RELEASE" echo git status | grep 'deleted:' | tr '\t' ' ' + git diff | wc | python -c 'import sys; row = sys.stdin.readline().split(); print; \ + print (("Excluded %s lines (%s words, %s bytes) of boring changes." % tuple(row)) \ + if any(int(x) != 0 for x in row) else "Found nothing boring to ignore.")' cat <<EOF Note to reviewers: if you know of other changes to API, not covered by |