From 82eff7811fab8f275a3905a925c28ea84c05bd94 Mon Sep 17 00:00:00 2001 From: Christos Choutouridis Date: Fri, 27 Jun 2025 14:42:35 +0300 Subject: [PATCH] Small documentation fix --- repos.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos.conf b/repos.conf index 7c65d10..442deaa 100644 --- a/repos.conf +++ b/repos.conf @@ -8,7 +8,7 @@ # Format: # repo-nickname; server-nickname; repo-remote; repo-url; directory # -# repo-nickname: A name to refer to the repo (used for display purposes) +# repo-nickname: A name to refer to the repo. Used for reference to --only and display purposes. # server-nickname: The name to use for server in --from and --to # repo-remote: The name given as remote for each repository for each server # repo-url: The url of the above remote