Merge branch 'main' into extensions-plumbing

holtskinner · web-flow · commit 5c6722fe4572 · 2025-07-22T15:37:07.000+01:00
diff --git a/scripts/format.sh b/scripts/format.sh
@@ -32,7 +32,6 @@ run_formatter() {
     echo "$CHANGED_FILES" | xargs -r "$@"
 }
 
-no-implicit-optional --use-union-or .
 run_formatter pyupgrade --exit-zero-even-if-changed --py310-plus
 run_formatter autoflake -i -r --remove-all-unused-imports
 run_formatter ruff check --fix-only

Original file line number	Diff line number	Diff line change
`@@ -32,7 +32,6 @@ run_formatter() {`
`32`	`32`	`echo "$CHANGED_FILES" \| xargs -r "$@"`
`33`	`33`	`}`
`34`	`34`
`35`		`-no-implicit-optional --use-union-or .`
`36`	`35`	`run_formatter pyupgrade --exit-zero-even-if-changed --py310-plus`
`37`	`36`	`run_formatter autoflake -i -r --remove-all-unused-imports`
`38`	`37`	`run_formatter ruff check --fix-only`