bin/gen-DSA

@@ -393,14 +393,17 @@ EOF
 	idmode=$(echo "$IDMODE" | tr A-Z a-z)
 	if [ -d .git ]; then
 	    echo "Made the following changes:"
-	    git diff -- data/$IDMODE/list data/$idmode-needed.txt
+	    git diff -- data/$IDMODE/list $needed_file
+	    if ! git diff-index --name-only HEAD -- $needed_file | grep -qs .; then
+		warn "did not make any changes to $needed_file - this may indicate duplicate work"
+	    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."
 	if [ -d .git ]; then
 	    echo -n "Do you want to commit and push them now ? [Yn] "
 	    read reply
 	    if [ "$reply" = "Y" ] || [ "$reply" = "" ] || [ "$reply" = "y" ]; then
-		git add data/$IDMODE/list data/$idmode-needed.txt
+		git add data/$IDMODE/list $needed_file
 		git commit -m "Reserve $IDMODE-$DAID for $PACKAGE"
 		git push origin master
 	    fi