kdevelop and kdevplatform are both on git.kde.org now.

svn path=/trunk/KDE/kdesdk/scripts/kdesrc-buildrc-sample; revision=1208754

kdesrc-buildrc-sample

@@ -323,16 +323,18 @@ end module
 
 ## A prerequisite for kdevelop other modules using the kdevelop platform, like
 # kdewebdev
-#module kdevplatform
+#module-set
-#	repository git://gitorious.org/kdevelop/kdevplatform.git
+#    use-modules kdevplatform
-#end module
+#    repository kde-git
+#end module-set
 
 ## The KDevelop IDE, useful for developing all kinds of programs.  If you don't
 # plan on being a software developer you can save time by removing this from
 # your configuration.
-#module kdevelop
+#module-set
-#       repository git://gitorious.org/kdevelop/kdevelop.git
+#    use-modules kdevelop
-#end module
+#    repository kde-git
+#end module-set
 
 # Modules in extragear and playground can also be added.
 #