There's not too much in here that's going to be news to people. About the only interesting part is the reduction in merge times and how well it's scaled for the

There's not too much in here that's going to be news to people. About the only interesting part is the reduction in merge times and how well it's scaled for them. But two sentences makes for a short article. Still, it's nice to hear concrete figures about 1-2 days dropping down to ~30 minutes. Glad they shared.