diff options
author | Chris Lamb <lamby@debian.org> | 2021-08-09 16:45:26 +0100 |
---|---|---|
committer | Chris Lamb <lamby@debian.org> | 2021-08-09 16:45:26 +0100 |
commit | e9ace0104712b83aee6e6e18793247886c84269d (patch) | |
tree | 71f9ffe1242a8b401a10e25b4402bbac34b6ac83 /bin | |
parent | dc3603330b79c4f88565bf81482d8c887bd5e229 (diff) |
Not making any changes to a foo-needed.txt file may also indicate a misspelled (or conflated) source package name.
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/gen-DSA | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/gen-DSA b/bin/gen-DSA index 5e901436f8..dbdfc12245 100755 --- a/bin/gen-DSA +++ b/bin/gen-DSA @@ -409,7 +409,7 @@ EOF echo "Made the following changes:" git diff -- data/$IDMODE/list $needed_file if ! git diff-index --name-only HEAD -- $needed_file | grep -qs . && [ $TYPE = security ]; then - warn "did not make any changes to $needed_file - this may indicate duplicate work" + warn "did not make any changes to $needed_file - this may indicate duplicate work or misspelled package name" fi fi warn "you need to commit and push the changes to data/$IDMODE/list etc. to actually reserve the $IDMODE-$DAID number and avoid conflicts with others." |