fritzkink
2023-12-27 706019354bab81fc3f01995caf1ae1a2dfa346cf
tools/python-integrate-project
@@ -468,7 +468,7 @@
   mv history.new history
   git add history
   awk '$2 == "noincorporate" {printf("WARNING: Unincorporated package: %s\n", $1)}' < history >&2
   awk '$NF == "noincorporate" {printf("WARNING: Unincorporated package: %s\n", $1)}' < history >&2
fi