From 05477ee64f8dc4edcddce15f376b881e0419ec2a Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Sat, 3 May 2025 01:35:10 +0200
Subject: [PATCH] Show which repo is selected in repo list command

---
 gdn-cli/src/commands/repo/list.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/gdn-cli/src/commands/repo/list.rs b/gdn-cli/src/commands/repo/list.rs
index d0327fe..c3d6e10 100644
--- a/gdn-cli/src/commands/repo/list.rs
+++ b/gdn-cli/src/commands/repo/list.rs
@@ -23,7 +23,11 @@ impl Command {
         } else {
             println!("Repos: {}", repos.len());
             for (name, id) in repos {
-                println!("- {name} ({id })")
+                if state.selected_repo == Some(id) {
+                    println!("- {name} ({id }, selected)");
+                } else {
+                    println!("- {name} ({id })");
+                }
             }
         }