On Thu, Apr 24, 2014 at 12:38 PM, Simon Peyton Jones <simonpj@microsoft.com> wrote:

That seems a bit extreme. I thought switching branches is precisely what git is good at.

It was made not so great in the past (i.e. 7.8) by us having the homegrown sync-all pull system instead of submodules.