Here’s the short version: We’re excited about GitHub becoming part of Microsoft, and think it’ll be good news for developers. But based on the huge adoption we’re seeing for Glitch and our own decade of experience in building version control tools…