From 6a9bdf02e2ab00a94925486d7b22a2b1413a75d7 Mon Sep 17 00:00:00 2001 From: Nathan McCarty Date: Tue, 15 Jul 2025 01:49:52 -0400 Subject: [PATCH] add todo --- projects/Idris/todo.org | 2 ++ 1 file changed, 2 insertions(+) diff --git a/projects/Idris/todo.org b/projects/Idris/todo.org index 02c54d0..c4649ef 100644 --- a/projects/Idris/todo.org +++ b/projects/Idris/todo.org @@ -5,3 +5,5 @@ ** TODO Make blockquotes fancy * ~blog~ functionality ** TODO Automate mastodon posting +** TODO Random post id +Allow for working on multiple posts in different branches