3 ms·

This seems like a good strategy. I've long thought Google should buy Github (assuming they would sell).