Update comments and notes

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()?),

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