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?