From b5bc80c99658c0be4441f4fe9c0a8685e05a203e 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={},
     )