From fdfcfdbdad821551a729a140f138f0b178f56e47 Mon Sep 17 00:00:00 2001
From: daviddoji <daviddoji@pm.me>
Date: Wed, 28 Feb 2024 19:44:10 +0100
Subject: [PATCH] Add change 09 instructions

---
 how_to/Change_09.md | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 how_to/Change_09.md

diff --git a/how_to/Change_09.md b/how_to/Change_09.md
new file mode 100644
index 0000000..022f0ef
--- /dev/null
+++ b/how_to/Change_09.md
@@ -0,0 +1,8 @@
+- write-tree: Ignore .ugit files
+
+If we run `ugit write-tree`, we will see that it also prints the content of the
+.ugit directory. This directory isn't part of the user's files, so let's ignore
+it.
+
+Actually, I created a separate `is_ignored()` function. This way if we have any
+other files we want to ignore later we have one place to change.