From 0adc093d95468039634a14c402972ff3cee58d8a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <karel.koci@nic.cz>
Date: Mon, 9 Jan 2017 08:25:27 +0100
Subject: I noticed that git repos doesn't work, note it as TODO
---
utils/inst | 1 +
1 file changed, 1 insertion(+)
(limited to 'utils')
diff --git a/utils/inst b/utils/inst
index 9c15496..c3c26e2 100644
--- a/utils/inst
+++ b/utils/inst
@@ -55,6 +55,7 @@ checkdiff() {
G="${g#$1}"
COMMIT=$( cd "$1/$G" && git rev-parse HEAD )
echo "Checkout of git repository: $2/$G"
+ # TODO this doesn't seems to work
( cd "$2/$G" && git --work-tree=. checkout -f "$COMMIT" )
done
else
--
cgit v1.2.3