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(+)

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