Microsoft's GitHub Acquires Collaboration Tool Firm Pull Panda

GitHub has acquired a US-based startup called Pull Panda that makes collaboration tools for software teams at an undisclosed amount.