From af0e336f9cf394042aa626076616572f05bb00a9 Mon Sep 17 00:00:00 2001
From: "Michael J. Sullivan" <sully@msully.net>
Date: Tue, 4 Feb 2025 20:44:32 -0800
Subject: [PATCH] Fix schema_repair() more fully (#8304)

It didn't work if it actually had any schema to repair.  Testing this
is annoying because it only comes up in the presence of bugs or patches,
basically.

It will get exercised by #8303.
---
 edb/server/compiler/ddl.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/edb/server/compiler/ddl.py b/edb/server/compiler/ddl.py
index 1991466e92c..0b0026bf08a 100644
--- a/edb/server/compiler/ddl.py
+++ b/edb/server/compiler/ddl.py
@@ -1405,9 +1405,10 @@ def administer_repair_schema(
 
     return dbstate.DDLQuery(
         sql=sql,
-        user_schema=current_tx.get_user_schema_if_updated(),  # type: ignore
+        user_schema=current_tx.get_user_schema_if_updated(),
         global_schema=current_tx.get_global_schema_if_updated(),
         config_ops=config_ops,
+        feature_used_metrics={},
     )