GitHub has acquired Pull Panda Inc., a small startup that makes collaboration tools for software teams. The terms of the deal, which was announced today, aren’t being disclosed. It was most likely a ...