fritzkink
2023-12-15 9329acaef0fff79c242edf766ac84544d6422be8
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