Note that ticket id is stored in ticket metadata

1 files changed, 7 insertions, 0 deletions

diff --git a/ARCH b/ARCH
index d208fef..16361fb 100644
--- a/ARCH
+++ b/ARCH
@@ -97,3 +97,10 @@ from the beginning avoids accidentally hardcoding things. Since the
 web interface is likely to be implemented using bottle.py, I'll use
 bottle's templating system.
 
+
+----
+
+
+I store the ticket id in the ticket's metadata. This allows us to
+rename directories and also simplifies the code that needs to know a
+ticket.