From eb9bc5a414c4cde6a5a5d6b3879a1d7971c72980 Mon Sep 17 00:00:00 2001
From: Andreas Baumann <mail@andreasbaumann.cc>
Date: Thu, 5 Jan 2017 08:45:13 +0100
Subject: local fork of wsdlpull

---
 conf/gitolite.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/conf/gitolite.conf b/conf/gitolite.conf
index 51d17b6..876c5d5 100644
--- a/conf/gitolite.conf
+++ b/conf/gitolite.conf
@@ -1,6 +1,6 @@
 repo gitolite-admin
     RW+     =   abaumann
 
-repo prototest compilertests
+repo prototest compilertests wsdlpull
     RW+     =   @all
     config core.sharedRepository = true
-- 
cgit v1.2.3-54-g00ecf