From 7199823be9cf16f4d13e806587f7bc49583cc760 Mon Sep 17 00:00:00 2001 From: discord9 <55937128+discord9@users.noreply.github.com> Date: Mon, 8 Dec 2025 12:01:25 +0800 Subject: [PATCH] chore: rename to avoid git reserved name (#7359) rename to avoid reserved name Signed-off-by: discord9 --- src/meta-srv/src/gc/mock.rs | 2 +- src/meta-srv/src/gc/mock/{con.rs => concurrent.rs} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename src/meta-srv/src/gc/mock/{con.rs => concurrent.rs} (100%) diff --git a/src/meta-srv/src/gc/mock.rs b/src/meta-srv/src/gc/mock.rs index 3fdc664495..61ec515985 100644 --- a/src/meta-srv/src/gc/mock.rs +++ b/src/meta-srv/src/gc/mock.rs @@ -14,7 +14,7 @@ mod basic; mod candidate_select; -mod con; +mod concurrent; mod config; mod err_handle; mod full_list; diff --git a/src/meta-srv/src/gc/mock/con.rs b/src/meta-srv/src/gc/mock/concurrent.rs similarity index 100% rename from src/meta-srv/src/gc/mock/con.rs rename to src/meta-srv/src/gc/mock/concurrent.rs