commit 9413b2005ab817cb21592edae4ba7e58b3b88acc
Author: Harald Sitter <sitter@kde.org>
Date:   Wed Nov 23 11:23:08 2016 +0100

    rename kde-development-environment to kdesdk-devenv-dependencies
    
    source repo changed. I am not entirely sure why, but oh well

diff --git a/conf/gitolite.conf b/conf/gitolite.conf
index c1d1735..68be4e7 100644
--- a/conf/gitolite.conf
+++ b/conf/gitolite.conf
@@ -107,7 +107,7 @@ repo neon-packaging/digikam
 repo neon-packaging/kphotoalbum
     RW+     =   @all
 
-repo neon-packaging/kde-development-environment
+repo neon-packaging/kdesdk-devenv-dependencies
     RW+     =   @all
 
 repo neon-packaging/choqok