Microsoft has acquired GitHub tool vendor Pull Panda for an undisclosed amount, the company announced on June 17. Microsoft plans to use Pull Panda's technology to improve code-review workflows on ...