From ec704414e965232ac422ab8900adeef6ec4c9e8c Mon Sep 17 00:00:00 2001
From: Fontrodona Nicolas <nicolas.fontrodona@ens-lyon.fr>
Date: Wed, 1 Feb 2023 17:21:38 +0100
Subject: [PATCH] src/push.rs: exclude some files during the push
---
src/push.rs | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/push.rs b/src/push.rs
index 8aedab3..b8362b9 100644
--- a/src/push.rs
+++ b/src/push.rs
@@ -542,6 +542,9 @@ pub(crate) fn copy_file(
"--info=progress2",
"--human-readable",
"--exclude=.gblkconfig",
+ "--exclude=hints*",
+ "--exclude=index*",
+ "--exclude=integrity*",
&tmp,
&remote_path,
]
--
GitLab