That's very cool Tom, thanks for sharing your code!
About single repo vs drush make, I've found that drush make is great if everyone on your team is up to speed and comfortable working with it. But many people are not. Having the site in a repo is conceptually simpler and you don't have to bother with symlinks and so on. Sharing changes that you've made locally is as simple as making a branch and pushing it to origin, which other developers can immediately use.
But, probably the main advantage is speed. Even using squid, waiting 1-2 minutes for a site to rebuild is too cumbersome.
That's very cool Tom, thanks for sharing your code!
About single repo vs drush make, I've found that drush make is great if everyone on your team is up to speed and comfortable working with it. But many people are not. Having the site in a repo is conceptually simpler and you don't have to bother with symlinks and so on. Sharing changes that you've made locally is as simple as making a branch and pushing it to origin, which other developers can immediately use.
But, probably the main advantage is speed. Even using squid, waiting 1-2 minutes for a site to rebuild is too cumbersome.