From e778512f49ce78001d2a6528b818c3be493e29d0 Mon Sep 17 00:00:00 2001
From: Fontrodona Nicolas <nicolas.fontrodona@ens-lyon.fr>
Date: Mon, 30 Jan 2023 11:40:50 +0100
Subject: [PATCH] src/push.rs src/main.rs: move src/compress.rs to src/push.rs

---
 src/main.rs                  | 4 ++--
 src/{compress.rs => push.rs} | 0
 2 files changed, 2 insertions(+), 2 deletions(-)
 rename src/{compress.rs => push.rs} (100%)

diff --git a/src/main.rs b/src/main.rs
index 670c2ae..c7b9a6e 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -7,7 +7,7 @@ use configt::PartialPrune;
 mod checkout;
 mod commit;
 mod compact;
-mod compress;
+mod push;
 mod config_structure;
 mod configt;
 mod create_hooks;
@@ -385,7 +385,7 @@ fn main() {
             Remote::Rm(e) => remote::remove_config(&e.key, e.global),
         },
         Commands::Push(p) => {
-            compress::push(&p.key);
+            push::push(&p.key);
         }
     }
 }
diff --git a/src/compress.rs b/src/push.rs
similarity index 100%
rename from src/compress.rs
rename to src/push.rs
-- 
GitLab