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 | 0f7ad6d515a40ad38456df77ceb462131d3d8325 (patch) | |
tree | 556d951d3440dc8fbcf61a2e7f6924282c549155 /bin/gen-DSA | |
parent | ff4b99e9434dc8026546d2c9b7fc24a0daa0e981 (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/gen-DSA')
-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." |