From 4c8dacb548feb2b75b2d2bdf506ed98a2466ebc3 Mon Sep 17 00:00:00 2001
From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>
Date: Thu, 13 Mar 2025 09:09:00 +0000
Subject: [PATCH] fix: Spacing of TODO YML

---
 scripts/MetaPrograms/TODO_to_yml.lean | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/scripts/MetaPrograms/TODO_to_yml.lean b/scripts/MetaPrograms/TODO_to_yml.lean
index ef06839..d4de15c 100644
--- a/scripts/MetaPrograms/TODO_to_yml.lean
+++ b/scripts/MetaPrograms/TODO_to_yml.lean
@@ -124,14 +124,17 @@ def allInformalTODO : CoreM (Array FullTODOInfo) := do
   x.mapM informalTODO
 
 def FullTODOInfo.toYAML (todo : FullTODOInfo) : MetaM String := do
+  let content := todo.content
+  let contentIndent := content.replace "\n" "\n    "
   return s!"
-- content: \"{todo.content}\"
-  file: {todo.fileName}
+- file: {todo.fileName}
   githubLink: {Name.toGitHubLink todo.fileName todo.line}
   line: {todo.line}
   isInformalDef: {todo.isInformalDef}
   isInformalLemma: {todo.isInformalLemma}
-  category: {todo.category}"
+  category: {todo.category}
+  content: |
+    {contentIndent}"
 
 unsafe def allTODOs : MetaM (List FullTODOInfo) := do
   let todos ← getTodoInfo