From 62dfaad3fdb9687e01def45ae09b91d949c0e6bb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lucas=20Ple=C3=9F?= Date: Tue, 3 Jun 2014 00:15:58 +0200 Subject: [PATCH] deleted unused repos --- conf/gitolite.conf | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/conf/gitolite.conf b/conf/gitolite.conf index fd3eaae..aa816bf 100644 --- a/conf/gitolite.conf +++ b/conf/gitolite.conf @@ -13,10 +13,6 @@ repo ctdo R = @read RW+ = @ctdo -repo tinc - R = @read - RW+ = @ctdo - repo bunti R = @read RW+ = @ctdo wegginho @@ -61,10 +57,6 @@ repo raumstatusapp R = @read RW+ = @ctdo -repo udoo - RW+ = jsilence wegginho - R = @read - repo reflow RW+ = @ctdo R = @read @@ -117,10 +109,6 @@ repo raumstatus RW+ = @ctdo R = @read status -repo dampfradio-ng - RW+ = @ctdo - R = @read - repo raumsteuerung RW+ = @ctdo R = @read