From c7c759b0bce35976f89564a5d7b9edd0bfcb5bb4 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 28 Sep 2017 10:21:30 +0200
Subject: bin/clean-git new for running "git gc" separately

---
 bin/clean-git | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100755 bin/clean-git

diff --git a/bin/clean-git b/bin/clean-git
new file mode 100755
index 0000000..2504f2b
--- /dev/null
+++ b/bin/clean-git
@@ -0,0 +1,15 @@
+#!/bin/sh
+
+# clean git repositories
+
+# shellcheck source=conf/default.conf
+. "${0%/*}/../conf/default.conf"
+
+for repo in ${repo_names}; do
+  eval 'repo_path="${repo_paths__'"${repo}"'}"'
+  printf 'cleaning %s (%s) ...\n' \
+    "${repo}" \
+    "${repo_path}"
+  git -C "${repo_path}" gc
+  printf '... done\n'
+done
-- 
cgit v1.2.3-70-g09d2