KDevPlatform has been moved into kdevelop.git:kdevplatform/
For copying private branches over to the other repo, use copy-branch.sh:
cd kdevplatform
cp copy-branch.sh.in copy-branch.sh
# now open copy-branch.sh, adapt the 3 variables at the begin and save the file
# with that done, ready to go:
# call the script once for each branch that should be copied over
./copy-branch my-branch