Directory for projects that have been migrated to github
cleanup; branch was merged to trunk a while ago
cleanup; branch was for a review done a while ago