Managing Drupal Core in Git for Aegir Platforms We've started developing a platform to deploy sites with using Drupal 7.2. The platform is managed in git. However, as we do not touch core, what is the best place to managed core? 

Should core also be in git on its own repo? Or should the dev team update core as they develop the platforms, and push core with the platform? 

Thanks!
Our current (simplified) practice at work:


Pull down the drupal core git repo http://drupalcode.org/project/drupal.git/
Add upstream to your local project that tracks the above repo
When a new version of drupal is released, fetch the drupal repo and merge the appropriate tag


e.g.

cd /var/www/your-platform/
git fetch upstream
git merge 7.7