From 0e7e54bf7100382af8b111b7f93249478a94d1b0 Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Mon, 5 May 2025 00:02:36 +0200
Subject: [PATCH] Update comments and notes

---
 gdn/src/repo.rs | 1 +
 ideas.md        | 5 -----
 2 files changed, 1 insertion(+), 5 deletions(-)

diff --git a/gdn/src/repo.rs b/gdn/src/repo.rs
index bb3315e..1e9776f 100644
--- a/gdn/src/repo.rs
+++ b/gdn/src/repo.rs
@@ -86,6 +86,7 @@ pub fn save(path: &Path, repo: Repo) -> anyhow::Result<Oid> {
     let message = Zoned::now().to_string();
 
     // TODO Check that the repo is actually based on this commit.
+    // TODO Check if there actually is a difference to the parent commit
     let parent = match read_head(&repository)? {
         None => None,
         Some(parent) => Some(parent.peel_to_commit()?),
diff --git a/ideas.md b/ideas.md
index d87ded2..7b565bc 100644
--- a/ideas.md
+++ b/ideas.md
@@ -6,11 +6,6 @@ takes a short time to implement and represents an incremental improvement.
 
 Once an idea has been implemented, it should be deleted from this file.
 
-- cli: `repo list` command
-- cli: `repo add` command
-- cli: `repo rename` command
-- cli: `repo remove` command
-- cli: Single-letter aliases for commands
 - Logging (`log` or `tracing`?)
 - app: Make log available in UI, for debugging and testing
 - app: Create repo from dropdown