Microsoft execs share a plan to ward off AI coding rivals by overhauling GitHub | Not Hacker News!