Microsoft\'s GitHub: Our new \'gh\' command-line interface makes you more productive