From 636ff79650c912cfa0a320e0bbfa1888202c513f Mon Sep 17 00:00:00 2001
From: "martin f. krafft" <madduck@madduck.net>
Date: Fri, 27 Jun 2008 20:10:46 +0200
Subject: [PATCH] fix devscripts repo

---
 .mr/roles/debdev | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.mr/roles/debdev b/.mr/roles/debdev
index 7575a99..9795da7 100644
--- a/.mr/roles/debdev
+++ b/.mr/roles/debdev
@@ -2,7 +2,7 @@
 checkout = git clone ssh://git.madduck.net/~/git/colls/debian.git debian
 chain = true
 
-[.fgits/devscripts]
+[.fgits/devscripts.git]
 checkout = git_fake_bare_checkout ssh://git.madduck.net/~/git/pub/etc/devscripts.git devscripts.git ../../
 
 [code/unperish]
-- 
2.39.5