24 Apr
2014
24 Apr
'14
11:05 a.m.
On Thu, Apr 24, 2014 at 12:38 PM, Simon Peyton Jones
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.