Hey folks, I'm in the process of migrating some websites from svn to git, and your names are the big ones in svn log for docs.kde.org on svn. Do you mind if I migrate that to git? it would be websites/doc-kde-org git repo I guess. thanks, Jeremy