From bab8691132faaa38709f1a28859a436e5331201c Mon Sep 17 00:00:00 2001 From: Simon Brugman Date: Thu, 26 Jan 2023 19:53:22 +0100 Subject: [PATCH] chore: fix script indent (#2213) --- scripts/add_plugin.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/add_plugin.py b/scripts/add_plugin.py index e02d5a7b68..3f84a6765c 100755 --- a/scripts/add_plugin.py +++ b/scripts/add_plugin.py @@ -84,7 +84,7 @@ mod tests { fp.write("\n") elif line.strip() == "/// Ruff-specific rules": - fp.write(f"/// [{plugin}]({url})\n") + fp.write(f"{indent}/// [{plugin}]({url})\n") fp.write(f'{indent}#[prefix = "{prefix_code}"]\n') fp.write(f"{indent}{pascal_case(plugin)},") fp.write("\n")